Studia Logica 102 (3):441-478 (2014)

We present a Hilbert style axiomatization and an equational theory for reasoning about actions and capabilities. We introduce two novel features in the language of propositional dynamic logic, converse as backwards modality and abstract processes specified by preconditions and effects, written as \({\varphi \Rightarrow \psi}\) and first explored in our recent paper (Hartonas, Log J IGPL Oxf Univ Press, 2012), where a Gentzen-style sequent calculus was introduced. The system has two very natural interpretations, one based on the familiar relational semantics and the other based on type semantics, where action terms are interpreted as types of actions (sets of binary relations). We show that the proof systems do not distinguish between the two kinds of semantics, by completeness arguments. Converse as backwards modality together with action types allow us to produce a new purely equational axiomatization of Dynamic Algebras, where iteration is axiomatized independently of box and where the fixpoint and Segerberg induction axioms are derivable. The system also includes capabilities operators and our results provide then a finitary Hilbert-style axiomatization and a decidable system for reasoning about agent capabilities, missing in the KARO framework
Keywords Logic of agency  Logic of capabilities  Dynamic logic of action types  Converse as backwards possibility
Categories (categorize this paper)
DOI 10.1007/s11225-013-9473-8
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,291
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Editorial.Wiebe van der Hoek - 2004 - Synthese 139 (2):133-134.
Reasoning About Types of Action and Agent Capabilities.C. Hartonas - 2013 - Logic Journal of the IGPL 21 (5):703-742.
Editorial.W. van der Hoek - 2003 - Logic Journal of the IGPL 11 (2):133-133.
Editorial.Wiebe van der Hoek & Michael Wooldridge - 2003 - Logic Journal of the IGPL 11 (2):133-134.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Dynamic Logic of Agency I: Stit, Capabilities and Powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
A Dynamic Logic of Action.Brigitte Penther - 1994 - Journal of Logic, Language and Information 3 (3):169-210.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
An Equational Axiomatization of Dynamic Negation and Relational Composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
A Logical Analysis of the Relationship Between Commitment and Obligation.Churn-Jung Liau - 2001 - Journal of Logic, Language and Information 10 (2):237-261.
DΔL: A Dynamic Deontic Logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.
Reasoning About Action and Change.Helmut Prendinger & Gerhard Schurz - 1996 - Journal of Logic, Language and Information 5 (2):209-245.
Dynamic Non-Commutative Logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.


Added to PP index

Total views
78 ( #139,575 of 2,456,035 )

Recent downloads (6 months)
1 ( #449,366 of 2,456,035 )

How can I increase my downloads?


My notes