Publication:5311047
From MaRDI portal
zbMath1081.03023MaRDI QIDQ5311047
Renate A. Schmidt, Dmitry Tishkovsky
Publication date: 22 August 2005
completeness; decidability; propositional dynamic logic; combination of logics; test operator; unimodal doxastic logics
Related Items
The decision problem of modal product logics with a diagonal, and faulty counter machines, Reasoning about games, On combinations of propositional dynamic logic and doxastic modal logics