A propositional dynamic logic for instantial neighborhood semantics

DOI10.1007/s11225-018-9825-5OpenAlexW2888608561WikidataQ129348681 ScholiaQ129348681MaRDI QIDQ2323639

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

Publication date: 3 September 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9825-5

zbMATH Keywords

dynamic logicgame logicneighborhood modelsinstantial neighborhood logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (4)

Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ NP reasoning in the monotone \(\mu\)-calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• Modelling simultaneous games in dynamic logic
• Game logic is strong enough for parity games
• A propositional dynamic logic for instantial neighborhood models
• Automata and fixed point logic: a coalgebraic perspective
• An axiomatization of full Computation Tree Logic
• Alternating-time temporal logic
• Automata for Coalgebras: An Approach Using Predicate Liftings
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• Concurrent dynamic logic
• Completeness for coalgebraic fixpoint logic
• Reactive Systems
• INSTANTIAL NEIGHBOURHOOD LOGIC

This page was built for publication: A propositional dynamic logic for instantial neighborhood semantics