A propositional dynamic logic for instantial neighborhood models

DOI10.1007/978-3-662-55665-8_10MaRDI QIDQ1679752zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(8)

• Instantial neighbourhood logic
• A propositional dynamic logic for instantial neighborhood semantics
• Constructive game logic
• 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)