Journal of Logic, Language and Information 17 (1):109-129 (2008)
|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.|
|Keywords||Combinations of modal logics Dynamic logic Doxastic logic Epistemic logic Reasoning about actions Belief and knowledge|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Patrick Blackburn & Maarten Marx (2002). Remarks on Gregory's “Actually” Operator. Journal of Philosophical Logic 31 (3):281-288.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Renate A. Schmidt, Dmitry Tishkovsky & Ullrich Hustadt (2004). Interactions Between Knowledge, Action and Commitment Within Agent Dynamic Logic. Studia Logica 78 (3):381 - 415.
Gerald J. Massey (1965). Four Simple Systems of Modal Propositional Logic. Philosophy of Science 32 (3/4):342-355.
Walter Carnielli & Marcelo E. Coniglio, Combining Logics. Stanford Encyclopedia of Philosophy.
Maarten de Rijke (1998). A System of Dynamic Modal Logic. Journal of Philosophical Logic 27 (2):109-142.
Franz Baader & Ulrike Sattler (2001). An Overview of Tableau Algorithms for Description Logics. Studia Logica 69 (1):5-40.
Added to index2009-01-28
Total downloads5 ( #169,941 of 722,826 )
Recent downloads (6 months)0
How can I increase my downloads?