A quick guided tour to the modal logic S4.2

, &
Logic Journal of the IGPL 26 (4):429-451 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy008

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,506

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

A note on the complexity of S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2021 - Journal of Applied Non-Classical Logics 31 (2):108-129.
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.
Modal logics between S4.2 and S4.3.G. Hughes - 1980 - Bulletin of the Section of Logic 9 (2):73-77.
A Natural Deduction Calculus for S4.2.Simone Martini, Andrea Masini & Margherita Zorzi - 2024 - Notre Dame Journal of Formal Logic 65 (2):127-150.
Remarks about the unification types of some locally tabular normal modal logics.Philippe Balbiani, ÇiĞdem Gencer, Maryam Rostamigiv & Tinko Tinchev - 2023 - Logic Journal of the IGPL 31 (1):115-139.
A Modified Subformula Property for the Modal Logic S4.2.Mitio Takano - 2019 - Bulletin of the Section of Logic 48 (1).
The Expressive Power of Second-Order Propositional Modal Logic.Michael Kaminski & Michael Tiomkin - 1996 - Notre Dame Journal of Formal Logic 37 (1):35-43.
Back and Forth Between Modal Logic and Classical Logic.Hajnal Andreka, Johan van Benthem & Istvan Nemeti - 1995 - Logic Journal of the IGPL 3 (5):685-720.
Review: Review of Modal Logic P. Blackburn, M. de Rijke, Y. Venema: Review of Modal Logic. [REVIEW]Heinrich Wansing - 2002 - Logic Journal of the IGPL 10 (4):457-458.
An algebraic look at filtrations in modal logic.W. Conradie, W. Morton & C. J. van Alten - 2013 - Logic Journal of the IGPL 21 (5):788-811.

Analytics

Added to PP
2018-04-11

Downloads
62 (#376,863)

6 months
8 (#520,880)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A note on the complexity of S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2021 - Journal of Applied Non-Classical Logics 31 (2):108-129.
A Natural Deduction Calculus for S4.2.Simone Martini, Andrea Masini & Margherita Zorzi - 2024 - Notre Dame Journal of Formal Logic 65 (2):127-150.

Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.

View all 43 references / Add more references