On combinations of propositional dynamic logic and doxastic modal logics
type: Item
instance of: scholarly article
title: On combinations of propositional dynamic logic and doxastic modal logics
zbMATH Open document ID: 1184.03012
author: Renate A. Schmidt
author: Dmitry Tishkovsky
published in: Journal of Logic, Language and Information
publication date: 2009-03-24T00:00:00Z
review text: The paper explores some logics between the fusion and the product of PDL on the one hand, and logics between K45 and S5 on the other, mainly presenting completeness and decidability results. These results are established for both the strong and the weak version of each logic, where the weak version does not have uniform substitution for actions (alias programs). The authors show in particular that the strong versions of the logics they investigate trivialize due to the presence of PDL tests, and propose and study an alternative test operator (that is different from the public announcement operator as studied in dynamic epistemic logics). They show that standard PDL can be embedded into the new logic.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B62
zbMATH DE Number: 5532535
zbMATH Keywords: modal logic
zbMATH Keywords: dynamic logic
zbMATH Keywords: doxastic logic
zbMATH Keywords: epistemic logic
zbMATH Keywords: reasoning about actions
zbMATH Keywords: belief and knowledge
zbMATH Keywords: dynamic epistemic logic
zbMATH Keywords: many-dimensional modal logic
MaRDI profile type: Publication
full work available at URL: s10849-007-9041-6
OpenAlex ID: W2069840991
cites work: Modal logic
cites work: Q4845472
cites work: Propositional dynamic logic of regular programs
cites work: Many-dimensional modal logics: theory and applications
cites work: Products of modal logics, part 1
cites work: Q4525781
cites work: Properties of independently axiomatizable bimodal logics
cites work: Simulation and transfer results in modal logic -- a survey
cites work: A logical approach to the dynamics of commitments
cites work: Q4028821
cites work: Q4081211
cites work: Q4443204
cites work: Q5311047
cites work: Multi-agent dynamic logics with informational test
cites work: Q4540938
cites work: The product of converse PDL and polymodal K
cites work: Q4789450
DOI: 10.1007/S10849-007-9041-6
description: scientific article; zbMATH DE number 5532535