A propositional dynamic logic for instantial neighborhood models

DOI10.1007/978-3-662-55665-8_10zbMATH Open1495.03052OpenAlexW2748144368MaRDI QIDQ1679752FDOQ1679752

Authors: Nick Bezhanishvili, Sebastian Enqvist, Johan van Benthem 

Publication date: 22 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_10

Recommendations

• Instantial neighbourhood logic
• A tableau system for instantial neighborhood logic
• Inquisitive propositional dynamic logic
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• scientific article; zbMATH DE number 3858391

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Cited In (8)

• Instantial neighbourhood logic
• Constructive game logic
• A propositional dynamic logic for instantial neighborhood semantics
• Iterated covariant powerset is not a monad
• Computation as social agency: what, how and who
• A new game equivalence, its logic and algebra
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• A tableau system for instantial neighborhood logic

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

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