The modal logic of agreement and noncontingency

DOI10.1305/ndjfl/1071509431zbMath1046.03008OpenAlexW1989481495MaRDI QIDQ1430999

Lloyd Humberstone

Publication date: 27 May 2004

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

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

zbMATH Keywords

contingencymodal logicsuperveniencenoncontingencysubject matter

Mathematics Subject Classification ID

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

Related Items (15)

Inverse images of box formulas in modal logic ⋮ Relative contingency and bimodality ⋮ Logic for describing strong belief-disagreement between agents ⋮ Zolin and Pizzi: defining necessity from noncontingency ⋮ Necessity and relative contingency ⋮ LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE ⋮ A family of neighborhood contingency logics ⋮ Supervenience, Dependence, Disjunction ⋮ A logic for disjunctive ignorance ⋮ 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 ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A completeness proof for a logic with an alternative necessity operator
• Invertible definitions
• Necessity and contingency
• A logic with relative knowledge operators
• Functional dependencies, supervenience, and consequence relations
• Completeness and definability in the logic of noncontingency
• Singulary extensional connectives: A closer look
• Should knowledge entail belief?
• The logic of non-contingency
• Minimal non-contingency logic
• Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
• Reduction of logics to the primitive logic
• A note on Hallden-incompleteness
• Relevant implication
• Propositional quantifiers in modal logic1
• The completeness of monotonic modal logics
• A logical analysis of some value concepts
• A Study on Formal Deductions in the Primitive Logic

This page was built for publication: The modal logic of agreement and noncontingency