On Combinations of Propositional Dynamic Logic and Doxastic Modal Logics

Schmidt, R. A. and Tishkovsky, D. (2008)

Journal of Logic, Language and Information 17 (1) 109-129. BiBTeX, Full text via Springer.

We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church-Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test operator to avoid unwanted side effects caused by the interaction of the classic test operator with the extra interaction axioms.


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 30 Nov 07
Copyright © 2007-8 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk