The logic of non-contingency

DOI10.1305/NDJFL/1040248455zbMATH Open0833.03004OpenAlexW2123985313MaRDI QIDQ1903586FDOQ1903586

Authors: I. L. Humberstone 

Publication date: 17 March 1996

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

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

Recommendations

• scientific article; zbMATH DE number 2150337
• The logic of indeterminacies and paradoxes
• The modal logic of agreement and noncontingency
• Minimal non-contingency logic
• A non-probabilist principle of higher-order reasoning
• The logic of alternative logical consequence
• scientific article; zbMATH DE number 3922620
• The logical roots of indeterminacy
• Probabilistic Entailment and a Non-Probabilistic Logic

zbMATH Keywords

axiomatizationexpressive weaknessmodal logic of non-contingency

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hallden-completeness by gluing of Kripke frames
• Necessity and contingency
• A Warning About Translating Axioms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (39)

• A modal logic of supervenience
• Interplays of knowledge and non-contingency
• Counterfactual logic and the necessity of mathematics
• 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
• LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic
• Supervenience, Dependence, Disjunction
• A unified logic for contingency and accident
• Axiomatizing Rumsfeld ignorance
• Efficient reasoning about knowledge and common knowledge
• Bimodal logic with contingency and accident: bisimulation and axiomatizations
• Contingency-based equilibrium logic
• Title not available (Why is that?)
• Symmetric contingency logic with unlimitedly many modalities
• A logic for disjunctive ignorance
• Bimodal logics with contingency and accident
• 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
• A modal logic for non-deterministic discourse processing
• Completeness and definability in the logic of noncontingency
• Logic for describing strong belief-disagreement between agents
• Sequential reflexive logics with noncontingency operator
• Possibility and dyadic contingency
• Minimal non-contingency logic
• Strong noncontingency: on the modal logics of an operator expressively weaker than necessity

This page was built for publication: The logic of non-contingency

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