Minimal non-contingency logic

DOI10.1305/NDJFL/1040248456MaRDI QIDQ1903587zbMATH OpenOpenAlexFDO

Authors Steven T. Kuhn

Publication date 11 December 1995

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040248456

zbMATH Keywords

modal logicsnon-contingencyfinite axiomatizations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• The logic of non-contingency
• Completeness and definability in the logic of noncontingency
• A family of neighborhood contingency logics
• Almost necessary
• Sequential reflexive logics with noncontingency operator

Cites work

• scientific article; zbMATH DE number 3460246 (Why is no real title available?)
• scientific article; zbMATH DE number 3540784 (Why is no real title available?)
• scientific article; zbMATH DE number 3271465 (Why is no real title available?)
• scientific article; zbMATH DE number 3311734 (Why is no real title available?)
• Necessity and contingency
• The logic of non-contingency

Cited in

(38)

• A modal logic of supervenience
• Difference-making conditionals and connexivity
• XI Latin American Symposium on Mathematical Logic
• Minimal consequence in sentential logic
• Neighbourhood Contingency Bisimulation
• The modal logic of agreement and noncontingency
• An intriguing logic with two implicational connectives
• Logics for moderate belief-disagreement between agents
• Propositional quantification in logics of contingency
• Necessity and relative contingency
• Modal systems for covering semantics and boundary operator
• Some notes on dyadic contingency
• scientific article; zbMATH DE number 4132133 (Why is no real title available?)
• scientific article; zbMATH DE number 1330125 (Why is no real title available?)
• A road to ultrafilter extensions
• Beyond knowing that: a new generation of epistemic logics
• Contingency and knowing whether
• A unified logic for contingency and accident
• Bimodal logic with contingency and accident: bisimulation and axiomatizations
• Axiomatizing Rumsfeld ignorance
• Minimal Axiomatization in Modal Logic
• Symmetric contingency logic with unlimitedly many modalities
• A logic for disjunctive ignorance
• Bimodal logics with contingency and accident
• Minimal Logicism
• Zolin and Pizzi: defining necessity from noncontingency
• A family of neighborhood contingency logics
• Relative contingency and bimodality
• A study of modal logic with semantics based on rough set theory
• Ignorance of ignorance
• Two variants of noncontingency operator
• Completeness and definability in the logic of noncontingency
• Logic for describing strong belief-disagreement between agents
• Sequential reflexive logics with noncontingency operator
• The Minimal System of Justification Logic with Names
• Possibility and dyadic contingency
• The logic of non-contingency
• Strong noncontingency: on the modal logics of an operator expressively weaker than necessity

This page was built for publication: Minimal non-contingency logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1903587)