INSTANTIAL NEIGHBOURHOOD LOGIC

DOI10.1017/S1755020316000447zbMATH Open1417.03162OpenAlexW2561991968MaRDI QIDQ5737964FDOQ5737964

Sebastian Enqvist, Johan van Benthem, Junhua Yu, Nick Bezhanishvili

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020316000447

zbMATH Keywords

bisimulationscompletenessmodal logicaxiomatizationcoalgebraic logictopological semanticstranslationsgame logicneigbourhood semantics

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal logic
• Many-dimensional modal logics: theory and applications
• Finite models constructed from canonical formulas
• Normal forms in modal logic
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Tableau methods for modal and temporal logics
• Reasoning About Space: The Modal Way
• Proof methods for modal and intuitionistic logics
• Dynamic logics of evidence-based beliefs
• Logic games are complete for game logics
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Universal grammar
• Unified Correspondence
• Normal monomodal logics can simulate all others
• Minimax relations for the partial q-colorings of a graph

Cited In (15)

• A propositional dynamic logic for instantial neighborhood semantics
• Model theoretical aspects of weakly aggregative modal logic
• CARNAP’S PROBLEM FOR MODAL LOGIC
• Back-and-forth in space: on logics and bisimilarity in closure spaces
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• A new game equivalence, its logic and algebra
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• Title not available (Why is that?)
• Hennessy-Milner properties via topological compactness
• Algebraic neighbourhood logic
• Knowing how to plan about planning: higher-order and meta-level epistemic planning
• Expressivity results for deontic logics of collective agency
• An evidence logic perspective on Schotch-Jennings forcing
• Generalized Quantifiers Meet Modal Neighborhood Semantics
• BISIMULATIONS FOR KNOWING HOW LOGICS

This page was built for publication: INSTANTIAL NEIGHBOURHOOD LOGIC

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