Logics with Commuting Action and Informational Modalities

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

In Balbiani, P. and Suzuki, N.-Y. and Wolter, F. (eds), Advances in Modal Logic, Workshop Proceedings AiML'2002. 91-108. BiBTeX.

We prove completeness and decidability for a family of combinations of propositional dynamic logic and unimodal doxastic logics with commuting modalities and which satisfy 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 of the interaction of the classic test operator with the extra axioms.

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

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