Neighborhood semantics for modal logic
From MaRDI portal
Publication:2399881
DOI10.1007/978-3-319-67149-9zbMath1390.03001OpenAlexW2768154882MaRDI 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 logicsnon-normal modal logicscompleteness, incompleteness, and complexity of modal logicsneighbourhood frames and modelsrelational framessubset spaces
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Related Items
Intuitionistic non-normal modal logics: a general framework, Logics for belief as maximally plausible possibility, Reasoning about manipulation in multi-agent systems, HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description), Neighbourhood semantics for quantified relevant logics, Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics, Introspection, Normality and Agglomeration, Explicit non-normal modal logic, Uniform Lyndon interpolation for basic non-normal modal logics, Hypergraphs, local reasoning, and weakly aggregative modal logic, Relating Semantics for Epistemic Logic, CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS, Infra-topologies revisited: logic and clarification of basic notions, A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC, BISIMULATIONS FOR KNOWING HOW LOGICS, Binary modal companions for subintuitionistic logics, Formalizing common belief with no underlying assumption on individual beliefs, Neighborhood Contingency Logic, Evidence and plausibility in neighborhood structures, NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF, LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT, 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, On consistent functions for neighborhood systems, The logic of framing effects, An evidence logic perspective on Schotch-Jennings forcing, Herzberger's limit rule with labelled sequent calculus, The logic of secrets and the interpolation rule, Neighborhood semantics for logic of knowing how, Normal companions of intuitionistic modal logics, Neighbourhood semantics for modal relevant 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, Hyperintensional logics for everyone, Epistemic logic without closure, Hilbert algebras with Hilbert-Galois connections, Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic, Dynamic logics of evidence-based beliefs, Modal systems for covering semantics and boundary operator, Monotonic modal logics with a conjunction, Pooling modalities and pointwise intersection: axiomatization and decidability, Correspondence, canonicity, and model theory for monotonic modal logics, Unnamed Item, From oughts to goals: a logic for Enkrasia, Tractable reasoning using logic programs with intensional concepts, Complexity of the universal theory of modal algebras, Analysing Spatial Properties on Neighbourhood Spaces, Logical Dynamics of Evidence, Neighbourhood semantics for FDE-based modal logics, INQUISITIVE BISIMULATION, Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus, Epistemic foundations for set-algebraic representations of knowledge, Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics, Generalized Quantifiers Meet Modal Neighborhood Semantics, On the proof theory of infinitary modal logic, Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics, DYNAMIC HYPERINTENSIONAL BELIEF REVISION
