Neighborhood semantics for modal logic
From MaRDI portal
Publication:2399881
DOI10.1007/978-3-319-67149-9zbMath1390.03001MaRDI QIDQ2399881
Publication date: 24 August 2017
Published in: Short Textbooks in Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-67149-9
translations between logics; non-normal modal logics; completeness, incompleteness, and complexity of modal logics; neighbourhood frames and models; relational frames; subset spaces
03B45: Modal logic (including the logic of norms)
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
Related Items
CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS, Unnamed Item, INQUISITIVE BISIMULATION, Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics, Generalized Quantifiers Meet Modal Neighborhood Semantics, DYNAMIC HYPERINTENSIONAL BELIEF REVISION, Reasoning about manipulation in multi-agent systems, HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description), Relating Semantics for Epistemic Logic, A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC, BISIMULATIONS FOR KNOWING HOW LOGICS, NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF, LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT, Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic, Analysing Spatial Properties on Neighbourhood Spaces, Infra-topologies revisited: logic and clarification of basic notions, Neighbourhood Semantics for Graded Modal Logic, CARNAP’S PROBLEM FOR MODAL LOGIC, <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT, The logic of action and control, Exploring the Jungle of Intuitionistic Temporal Logics, Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic, The logic of framing effects, An evidence logic perspective on Schotch-Jennings forcing, The logic of secrets and the interpolation rule, Neighborhood semantics for logic of knowing how, Normal companions of intuitionistic modal logics, The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions, A substructural approach to explicit modal logic, Morpho-logic from a topos perspective -- application to symbolic AI, Epistemic Logics of Structured Intensional Groups, Evidence and plausibility in neighborhood structures, Dynamic logics of evidence-based beliefs, Intuitionistic non-normal modal logics: a general framework, Logics for belief as maximally plausible possibility, Pooling modalities and pointwise intersection: axiomatization and decidability, Correspondence, canonicity, and model theory for monotonic modal logics, Tractable reasoning using logic programs with intensional concepts, Neighbourhood semantics for FDE-based modal logics, On the proof theory of infinitary modal logic, Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics, Neighbourhood semantics for quantified relevant logics, Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics, Explicit non-normal modal logic, Uniform Lyndon interpolation for basic non-normal modal logics, Hypergraphs, local reasoning, and weakly aggregative modal logic, Formalizing common belief with no underlying assumption on individual beliefs, On consistent functions for neighborhood systems, Herzberger's limit rule with labelled sequent calculus, Modal systems for covering semantics and boundary operator, Monotonic modal logics with a conjunction, From oughts to goals: a logic for Enkrasia, Complexity of the universal theory of modal algebras, Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus, Epistemic foundations for set-algebraic representations of knowledge, Binary modal companions for subintuitionistic logics, Neighbourhood semantics for modal relevant logics, Hyperintensional logics for everyone, Epistemic logic without closure, Hilbert algebras with Hilbert-Galois connections, Neighborhood Contingency Logic, Logical Dynamics of Evidence, Introspection, Normality and Agglomeration