Neighborhood contingency logic

DOI10.1007/978-3-662-45824-2_6MaRDI QIDQ2937393zbMATH OpenOpenAlexFDO

Authors Jie Fan, Hans van Ditmarsch

Publication date 9 January 2015

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-45824-2_6

Mathematics Subject Classification ID

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

Recommendations

• A family of neighborhood contingency logics
• Almost necessary
• The logic of non-contingency
• Contingency and knowing whether
• Neighbourhood Contingency Bisimulation

Cites work

• A logic for ignorance
• A note on logics of ignorance and borders
• Almost necessary
• Completeness and definability in the logic of noncontingency
• Contingency and knowing whether
• How to Update Neighborhood Models
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3460246 (Why is no real title available?)
• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• Necessity and contingency
• Neighborhood semantics for modal logic
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Universal grammar

Cited in

(22)

• Neighborhoods for entailment
• The modal logic of agreement and noncontingency
• A logic for disjunctive ignorance
• Two variants of noncontingency operator
• Possibility and dyadic contingency
• Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
• A unified logic for contingency and accident
• A family of neighborhood contingency logics
• Strong noncontingency: on the modal logics of an operator expressively weaker than necessity
• Neighborhood singleton consistencies
• A sound and complete proof theory for propositional logical contingencies
• Propositional contingentism
• Beyond knowing that: a new generation of epistemic logics
• A road to ultrafilter extensions
• Almost necessary
• scientific article; zbMATH DE number 7577568 (Why is no real title available?)
• Neighbourhood Contingency Bisimulation
• Contingency and knowing whether
• Epistemic logics for relevant reasoners
• Non-contingency in a paraconsistent setting
• On the axiomatization of an unawareness structure from knowing-whether operators
• A logic of temporal contingency

This page was built for publication: Neighborhood contingency logic

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