On combinations of propositional dynamic logic and doxastic modal logics

Authors:
Renate A. Schmidt;Dmitry Tishkovsky
Affiliations:
School of Computer Science, University of Manchester, Manchester, UK;Department of Computer Science, University of Liverpool, Liverpool, UK
Venue:
Journal of Logic, Language and Information
Year:
2008

Citing 0
Cited 2

Reasoning About Games

Studia Logica
A model of intention with (un)conditional commitments

PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.