Neighborhood Contingency Logic

DOI10.1007/978-3-662-45824-2_6zbMath1304.03049OpenAlexW16179680MaRDI QIDQ2937393

Jie Fan, Hans P. 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)

Related Items (10)

A unified logic for contingency and accident ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ A Road to Ultrafilter Extensions ⋮ Unnamed Item ⋮ A family of neighborhood contingency logics ⋮ A logic for disjunctive ignorance ⋮ Neighbourhood Contingency Bisimulation ⋮ Two variants of noncontingency operator ⋮ Strong noncontingency: on the modal logics of an operator expressively weaker than necessity ⋮ Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics

Cites Work

• A note on logics of ignorance and borders
• Necessity and contingency
• Completeness and definability in the logic of noncontingency
• Neighborhood semantics for modal logic
• How to Update Neighborhood Models
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• CONTINGENCY AND KNOWING WHETHER
• Universal grammar
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Neighborhood Contingency Logic