- Combining Dynamic Logic with Doxastic Modal Logics.Renate A. Schmidt & Dmitry Tishkovsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 371-391.details
|
|
Combining Dynamic Logic with Doxastic Modal Logics.Renate A. Schmidt & Dmitry Tishkovsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 371-391.details
|
|
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.details
|
|
A logical approach to the dynamics of commitments.J. -J. Ch Meyer, W. van der Hoek & B. van Linder - 1999 - Artificial Intelligence 113 (1-2):1-40.details
|
|
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.details
|
|
Properties of independently axiomatizable bimodal logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.details
|
|
Dynamic Logic.David Harel, Dexter Kozen & Jerzy Tiuryn - 2000 - MIT Press.details
|
|
Products of modal logics, part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.details
|
|
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.details
|
|
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.details
|
|
On axiomatic products of PDL and S5: Substitution, tests and knowledge.Renate A. Schmidt & Dmitry Tishkovsky - 2002 - Bulletin of the Section of Logic 31 (1):27-36.details
|
|