Combining Dynamic Logic with Doxastic Modal Logics

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

In Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, M. (eds), Advances in Modal Logic, Volume 4. Chapter 18, King's College London Publications, 371-391. BiBTeX.

We prove completeness and decidability 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 two forms of commuting axioms, namely, an axiom similar to the axiom of perfect recall 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 axioms.

The preprint version is available as Preprint CSPP-23, University of Manchester, UK. PostScript, BiBTeX.


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

Last modified: 07 Jan 04
Copyright © 2002 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk