Notre Dame Journal of Formal Logic 60 (3):407-435 (2019)

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.
Keywords bisimulation   completeness   expressivity   frame definability  strong noncontingency
Categories (categorize this paper)
DOI 10.1215/00294527-2019-0010
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,417
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Syntax and Semantics of Questions.Lauri Karttunen - 1977 - Linguistics and Philosophy 1 (1):3--44.
Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
Logics of Essence and Accident.Joao Marcos - 2005 - Bulletin of the Section of Logic 34 (1):43-56.
Minimal Non-Contingency Logic.Steven T. Kuhn - 1995 - Notre Dame Journal of Formal Logic 36 (2):230-234.

View all 13 references / Add more references

Citations of this work BETA

A Note on Logics of Essence and Accident.David R. Gilbert & Giorgio Venturi - 2020 - Logic Journal of the IGPL 28 (5):881-891.
Logics of (In)Sane and (Un)Reliable Beliefs.Jie Fan - forthcoming - Logic Journal of the IGPL.
A Logic for Disjunctive Ignorance.Jie Fan - forthcoming - Journal of Philosophical Logic:1-20.

Add more citations

Similar books and articles

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.
A Modal Logic of Supervenience.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (2):283-309.
On Some Intuitionistic Modal Logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Are the Laws of Logic Necessary or Contingent?Anna Sherratt - 2001 - Proceedings of the Aristotelian Society 101 (3):379–384.


Added to PP index

Total views
25 ( #436,769 of 2,449,043 )

Recent downloads (6 months)
2 ( #299,478 of 2,449,043 )

How can I increase my downloads?


My notes