Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity
Notre Dame Journal of Formal Logic 60 (3):407-435 (2019)
Abstract
Operators can be compared in at least two respects: expressive strength and deductive strength. Inspired by Hintikka’s treatment of question embedding verbs, the variations of noncontingency operator, and also the various combinations of modal operators and Boolean connectives, we propose a logic with strong noncontingency operator as the only primitive modality. The novel operator is deductively but not expressively stronger than both noncontingency operator and essence operator, and expressively but not deductively weaker than the necessity operator. The frame-definability power of this new logic is in between standard modal logic and noncontingency logic. A notion of bisimulation is proposed to characterize this logic within standard modal logic and first-order logic. Axiomatizations over various frame classes are presented, among which the minimal logic is related to the treatment of an alternative semantics of the agreement operator proposed by Lloyd Humberstone.Author's Profile
DOI
10.1215/00294527-2019-0010
My notes
Similar books and articles
In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics.Rohan French - 2015 - Studia Logica 103 (2):239-263.
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
Contingency and knowing whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
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. College Publications. pp. 288-301.
Propositional Identity and Logical Necessity.David B. Martens - 2004 - Australasian Journal of Logic 2:1-11.
Completness of relevant modal logics with disjunctive rules.Takahiro Seki - 2009 - Reports on Mathematical Logic:3-18.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 2018 - Erkenntnis 83 (3):403-443.
Tharp’s theorems of metaphysics and the notion of necessary truth.Jordan Stein - 2017 - Synthese 194 (4).
Are the laws of logic necessary or contingent?Anna Sherratt - 2001 - Proceedings of the Aristotelian Society 101 (3):379–384.
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Analytics
Added to PP
2019-07-13
Downloads
30 (#392,130)
6 months
3 (#228,007)
2019-07-13
Downloads
30 (#392,130)
6 months
3 (#228,007)
Historical graph of downloads
Author's Profile
Citations of this work
A note on logics of essence and accident.David R. Gilbert & Giorgio Venturi - 2020 - Logic Journal of the IGPL 28 (5):881-891.
Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics.Jie Fan - 2022 - Studia Logica 110 (1):1-45.
Logics of (In)sane and (Un)reliable Beliefs.Jie Fan - 2022 - Logic Journal of the IGPL 30 (1):78-100.
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations.Jie Fan - 2021 - Logica Universalis 15 (2):123-147.
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.
Contingency and non-contingency bases for normal modal logics.Hugh Montgomery & Richard Routley - 1966 - Logique Et Analyse 9 (35):318.
Minimal Non-contingency Logic.Steven T. Kuhn - 1995 - Notre Dame Journal of Formal Logic 36 (2):230-234.
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.