David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 79 (3):373 - 407 (2005)
In dynamic epistemic logic and other fields, it is natural to consider relativization as an operator taking sentences to sentences. When using the ideas and methods of dynamic logic, one would like to iterate operators. This leads to iterated relativization. We are also concerned with the transitive closure operation, due to its connection to common knowledge. We show that for three fragments of the logic of iterated relativization and transitive closure, the satisfiability problems are fi1 11–complete. Two of these fragments do not include transitive closure. We also show that the question of whether a sentence in these fragments has a finite (tree) model is fi0 01–complete. These results go via reduction to problems concerning domino systems.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Tomohiro Hoshi & Audrey Yap (2009). Dynamic Epistemic Logic with Branching Temporal Structures. Synthese 169 (2):259 - 281.
Hans P. van Ditmarsch (2005). The Case of the Hidden Hand. Journal of Applied Non-Classical Logics 15 (4):437-452.
Johan van Benthem (2007). Dynamic Logic for Belief Revision. Journal of Applied Non-Classical Logics 17 (2):129-155.
Eric Pacuit (2013). Dynamic Epistemic Logic II: Logics of Information Change. Philosophy Compass 8 (9):815-833.
Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5):491-526.
Similar books and articles
Sven Ove Hansson (2010). Multiple and Iterated Contraction Reduced to Single-Step Single-Sentence Contraction. Synthese 173 (2):153 - 177.
Reina Hayaki (2003). Actualism and Higher-Order Worlds. Philosophical Studies 115 (2):149 - 178.
Denis Bonnay & Paul Égré (2009). Inexact Knowledge with Introspection. Journal of Philosophical Logic 38 (2):179 - 227.
Laura Giordano, Valentina Gliozzi & Nicola Olivetti (2002). Iterated Belief Revision and Conditional Logic. Studia Logica 70 (1):23-47.
Luca Alberucci & Vincenzo Salipante (2004). On Modal Μ-Calculus and Non-Well-Founded Set Theory. Journal of Philosophical Logic 33 (4):343-360.
Dominic Gregory (2011). Iterated Modalities, Meaning and A Priori Knowledge. Philosophers' Imprint 11 (3).
Wesley C. Salmon (1977). Indeterminism and Epistemic Relativization. Philosophy of Science 44 (2):199-202.
Nina Gierasimczuk (2009). Bridging Learning Theory and Dynamic Epistemic Logic. Synthese 169 (2):371-384.
John Cantwell (1999). Some Logics of Iterated Belief Change. Studia Logica 63 (1):49-84.
Added to index2009-01-28
Total downloads5 ( #326,752 of 1,696,619 )
Recent downloads (6 months)4 ( #144,179 of 1,696,619 )
How can I increase my downloads?