We consider Minkowski spacetime, the set of all point-events of spacetime under the relation of causal accessibility. That is, x can access y if an electromagnetic or (slower than light) mechanical ...

The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal ...

Dynamic logic offers a formal framework to reason about actions, transitions and the evolution of systems over time. It extends classical modal logic by incorporating operators that capture state ...