Completeness results for some two-dimensional logics of actuality

Review of Symbolic Logic 5 (2):239-258 (2012)
  Copy   BIBTEX


We provide a Hilbert-style axiomatization of the logic of , as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions



    Upload a copy of this work     Papers currently archived: 94,726

External links

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

Through your library

Similar books and articles

The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.
Two-Dimensional Tableaux.David Gilbert - 2016 - Australasian Journal of Logic 13 (7).
A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. pp. 495-503.


Added to PP

150 (#128,365)

6 months
82 (#73,742)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

David R. Gilbert
University of Groningen
Edwin Mares
Victoria University of Wellington

Citations of this work

Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.
Actualism, Serious Actualism, and Quantified Modal Logic.William H. Hanson - 2018 - Notre Dame Journal of Formal Logic 59 (2):233-284.

Add more citations

References found in this work

Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
On the Plurality of Worlds.Allen Stairs - 1988 - Philosophy and Phenomenological Research 49 (2):333-352.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

View all 14 references / Add more references