A propositional dynamic logic for instantial neighborhood models

DOI10.1007/978-3-662-55665-8_10zbMath1495.03052OpenAlexW2748144368MaRDI QIDQ1679752

Nick Bezhanishvili, Sebastian Enqvist, J. F. A. K. 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)

Related Items (5)

Constructive Game Logic ⋮ Iterated covariant powerset is not a monad ⋮ Computation as social agency: what, how and who ⋮ A propositional dynamic logic for instantial neighborhood semantics ⋮ A new game equivalence, its logic and algebra

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