INSTANTIAL NEIGHBOURHOOD LOGIC

DOI10.1017/S1755020316000447zbMath1417.03162OpenAlexW2561991968MaRDI QIDQ5737964

Sebastian Enqvist, Junhua Yu, Nick Bezhanishvili, J. F. A. K. van Benthem

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

modal logiccompletenesstranslationsbisimulationscoalgebraic logicaxiomatizationtopological semanticsgame logicneigbourhood semantics

Mathematics Subject Classification ID

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

Related Items

Hennessy-Milner and van Benthem for instantial neighbourhood logic, Model theoretical aspects of weakly aggregative modal logic, BISIMULATIONS FOR KNOWING HOW LOGICS, Hennessy-Milner properties via topological compactness, CARNAP’S PROBLEM FOR MODAL LOGIC, Expressivity results for deontic logics of collective agency, An evidence logic perspective on Schotch-Jennings forcing, Back-and-forth in space: on logics and bisimilarity in closure spaces, Unnamed Item, A propositional dynamic logic for instantial neighborhood semantics, A new game equivalence, its logic and algebra, Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus, Generalized Quantifiers Meet Modal Neighborhood Semantics

Cites Work

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