Switch to: Citations

References in:

A new proof of completeness for a relative modal logic with composition and intersection

Philippe Balbiani

Journal of Applied Non-Classical Logics 11 (3-4):269-280 (2001)

Add references

You must login to add references.

Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.details Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ... Download Export citation Bookmark 360 citations
Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.details Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ... Download Export citation Bookmark 27 citations
(1 other version)A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.details Normal propositional modal systems This first chapter has two main aims. One is to give a general account of the propositional modal systems that we shall ... Download Export citation Bookmark 56 citations
(1 other version)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 ABSTRACT We consider the question of the complete axiomatization of a relative modal logic with composition and intersection. Download Export citation Bookmark 3 citations
(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 Download Export citation Bookmark 41 citations

1