Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic

Studia Logica 111 (6):1057-1082 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s11225-023-10064-3

Links

PhilArchive



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

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

Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
On an intuitionistic modal logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Boxes and Diamonds: An Open Introduction to Modal Logic.Richard Zach - 2019 - Open Logic Project.
Charles S. Chihara, the worlds of possibility, modal realism and the semantics of modal logic. [REVIEW]Daniel Nolan - 2004 - Studia Logica 76 (3):443-446.
Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Euclidean hierarchy in modal logic.Johan van Benthem, Guram Bezhanishvili & Mai Gehrke - 2003 - Studia Logica 75 (3):327-344.
A Deep Inference System for the Modal Logic S5.Phiniki Stouppa - 2007 - Studia Logica 85 (2):199-214.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Intensional completeness in an extension of gödel/dummett logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
Modal logic from Kant to possible worlds semantics.Tapio Korte, Ari Maunu & Tuomo Aho - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
A Sahlqvist Theorem for Relevant Modal Logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.

Analytics

Added to PP
2023-08-30

Downloads
12 (#1,079,938)

6 months
6 (#507,808)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Zhiguang Zhao
Delft University of Technology

Citations of this work

No citations found.

Add more citations

References found in this work

Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
From worlds to possibilities.I. L. Humberstone - 1981 - Journal of Philosophical Logic 10 (3):313 - 339.

View all 8 references / Add more references