Publication:4443204
From MaRDI portal
zbMath1037.03032MaRDI QIDQ4443204
Dmitry Tishkovsky, Renate A. Schmidt
Publication date: 2002
completenessdecidabilitypropositional dynamic logicsubstitutivitysmall model propertymodal logic S5axiomatic products of PDL and S5PDL test operator
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)
Related Items
Interactions between knowledge, action and commitment within agent dynamic logic, On combinations of propositional dynamic logic and doxastic modal logics