Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States

, &
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 53-72 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.T. French, R. van der Meyden & M. Reynolds - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 53-72.
Complete axiomatizations for reasoning about knowledge and branching time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93 - 123.
Complete Axiomatizations for Reasoning about Knowledge and Branching Time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93-123.
Tableaux for logics of time and knowledge with interactions relating to synchrony.Clare Dixon, Cláudia Nalon & Michael Fisher - 2004 - Journal of Applied Non-Classical Logics 14 (4):397-445.
Common knowledge in update logics.Jan van Eijck - unknown
Common Knowledge in Update Logics.Johan van Benthem - unknown
Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics.Balázs Biró & Ildikó Sain - 1993 - Annals of Pure and Applied Logic 63 (3):201-225.
Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge.Mai Ajspur & Valentin Goranko - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 80--96.
Intricate Axioms as Interaction Axioms.Guillaume Aucher - 2015 - Studia Logica 103 (5):1035-1062.
Distributed Knowledge Justification Logics.Ghari Meghdad - 2014 - Theory of Computing Systems 55 (1):1--40.
Quantum Mechanics in a Time-Asymmetric Universe: On the Nature of the Initial Quantum State.Eddy Keming Chen - 2021 - British Journal for the Philosophy of Science 72 (4):1155–1183.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
On combinations of propositional dynamic logic and doxastic modal logics.Renate A. Schmidt & Dmitry Tishkovsky - 2008 - Journal of Logic, Language and Information 17 (1):109-129.

Analytics

Added to PP
2020-02-06

Downloads
1 (#1,886,728)

6 months
1 (#1,510,037)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.

Add more citations

References found in this work

No references found.

Add more references