Minimal non-contingency logic

DOI10.1305/NDJFL/1040248456zbMATH Open0833.03005OpenAlexW2072977212MaRDI QIDQ1903587FDOQ1903587

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

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

zbMATH Keywords

modal logicsnon-contingencyfinite axiomatizations

Mathematics Subject Classification ID

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

Cites Work

• Necessity and contingency
• The logic of non-contingency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (38)

• A modal logic of supervenience
• 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
• CONTINGENCY AND KNOWING WHETHER
• Logics for moderate belief-disagreement between agents
• Propositional quantification in logics of contingency
• Modal systems for covering semantics and boundary operator
• Necessity and relative contingency
• Some notes on dyadic contingency
• Title not available (Why is that?)
• Title not available (Why is that?)
• A unified logic for contingency and accident
• Axiomatizing Rumsfeld ignorance
• Bimodal logic with contingency and accident: bisimulation and axiomatizations
• 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 Road to Ultrafilter Extensions
• Beyond Knowing That: A New Generation of Epistemic Logics
• 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
• The Minimal System of Justification Logic with Names
• Sequential reflexive logics with noncontingency operator
• Possibility and dyadic contingency
• The logic of non-contingency
• Strong noncontingency: on the modal logics of an operator expressively weaker than necessity
• Difference-making conditionals and connexivity

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)