A Family of Kripke Contingency Logics
Theoria 86 (4):482-499 (2020)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Tableaux for essence and contingency.Giorgio Venturi & Pedro Teixeira Yago - 2020 - Logic Journal of the IGPL:Doi 10.1093/jigpal/jzaa016.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Linear Kripke Frames and Gödel Logics.Arnold Beckmann & Norbert Preining - 2007 - Journal of Symbolic Logic 72 (1):26 - 44.
On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.
A Family of Neighborhood Contingency Logics.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (4):683-699.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Kripke semantics for knowledge representation logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.
Interplays of knowledge and non-contingency.Alexandre Costa-Leite - 2016 - Logic and Logical Philosophy 25 (4):521-534.
On some Kripke complete and Kripke incomplete intermediate predicate logics.Dmitrij Skvortsov - 1998 - Studia Logica 61 (2):281-292.
On completeness of intermediate predicate logics with respect to {K}ripke semantics.T. Shimura - 1995 - Bulletin of the Section of Logic 24:41-45.
Analytics
Added to PP
2020-08-29
Downloads
12 (#805,437)
6 months
1 (#449,220)
2020-08-29
Downloads
12 (#805,437)
6 months
1 (#449,220)
Historical graph of downloads
Author's Profile
Citations of this work
Contrariety Re-encountered: Nonstandard Contraries and Internal Negation*.Lloyd Humberstone - forthcoming - Logic Journal of the IGPL.
A Unified Logic for Contingency and Accident.Jie Fan - 2022 - Journal of Philosophical Logic 51 (4):693-720.
References found in this work
Contingency and knowing whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
Logical dynamics of belief change in the community.Fenrong Liu, Jeremy Seligman & Patrick Girard - 2014 - Synthese 191 (11):2403-2431.
Symmetric Contingency Logic with Unlimitedly Many Modalities.Jie Fan - 2019 - Journal of Philosophical Logic 48 (5):851-866.
Contingency and non-contingency bases for normal modal logics.Hugh Montgomery & Richard Routley - 1966 - Logique Et Analyse 9 (35):318.