- Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge: MIT Press.details
|
|
Mathematics of Modality.Robert Goldblatt - 1993 - Center for the Study of Language and Information Publications.details
|
|
Multi-dimensional modal logic.Maarten Marx - 1996 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.details
|
|
An irreflexivity lemma with applications to axiomatizations of conditions on tense frames.Dov M. Gabbay - 1981 - In Uwe Mönnich (ed.), Aspects of Philosophical Logic: Some Logical Forays Into Central Notions of Linguistics and Philosophy. Dordrecht, Netherland: Dordrecht. pp. 67--89.details
|
|
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.J. -J. Ch Meyer - 1987 - Notre Dame Journal of Formal Logic 29 (1):109-136.details
|
|
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.details
|
|
Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.details
|
|
A model existence theorem in infinitary propositional modal logic.Krister Segerberg - 1994 - Journal of Philosophical Logic 23 (4):337 - 367.details
|
|
Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.details
|
|
A system of dynamic modal logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.details
|
|
(1 other version)Syntactic codes and grammar refinement.Marcus Kracht - 1995 - Journal of Logic, Language and Information 4 (1):41-60.details
|
|
(1 other version)A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic.J. Ch Meyer - 1988 - Notre Dame Journal of Formal Logic 29:109-136.details
|
|
Complete Axiomatization of a Relative Modal Logic with Composition and Intersection.Philippe Balbiani & Luis Fariñas del Cerro - 1998 - Journal of Applied Non-Classical Logics 8 (4):325-335.details
|
|
A new proof of completeness for a relative modal logic with composition and intersection.Philippe Balbiani - 2001 - Journal of Applied Non-Classical Logics 11 (3):269-280.details
|
|
Dynamic extensions of arrow logic.Philippe Balbiani & Dimiter Vakarelov - 2004 - Annals of Pure and Applied Logic 127 (1-3):1-15.details
|
|