Completeness and definability in the logic of noncontingency
From MaRDI portal
Publication:1347608
DOI10.1305/ndjfl/1012429717zbMath0989.03019OpenAlexW2066873006MaRDI QIDQ1347608
Publication date: 22 July 2002
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1012429717
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)
Related Items (24)
A unified logic for contingency and accident ⋮ Neighborhood Contingency Logic ⋮ Propositional quantification in logics of contingency ⋮ Bimodal logics with contingency and accident ⋮ Some notes on dyadic contingency ⋮ Axiomatizing Rumsfeld ignorance ⋮ Relative contingency and bimodality ⋮ Logic for describing strong belief-disagreement between agents ⋮ The modal logic of agreement and noncontingency ⋮ Zolin and Pizzi: defining necessity from noncontingency ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Modal systems for covering semantics and boundary operator ⋮ Intuitionism and the modal logic of vagueness ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ Symmetric contingency logic with unlimitedly many modalities ⋮ Bimodal logic with contingency and accident: bisimulation and axiomatizations ⋮ A family of neighborhood contingency logics ⋮ A logic for disjunctive ignorance ⋮ Neighbourhood Contingency Bisimulation ⋮ A modal logic of supervenience ⋮ Two variants of noncontingency operator ⋮ Strong noncontingency: on the modal logics of an operator expressively weaker than necessity ⋮ CONTINGENCY AND KNOWING WHETHER ⋮ Possibility and dyadic contingency
Cites Work
This page was built for publication: Completeness and definability in the logic of noncontingency
