Switch to: Citations

References in:

Complete Axiomatization of a Relative Modal Logic with Composition and Intersection

Philippe Balbiani & Luis Fariñas del Cerro

Journal of Applied Non-Classical Logics 8 (4):325-335 (1998)

Add references

You must login to add references.

Inequality without irreflexivity.Philippe Balbiani - 1999 - Journal of Applied Non-Classical Logics 9 (4):523-534.details ABSTRACT This paper presents the axioinatization—without the rule of irreflexivity—of the modal logic of inequality as well as a method for proving its completeness. This method uses the technics of the frame of subordination. Download Export citation Bookmark 2 citations
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.details Download Export citation Bookmark 159 citations
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 Download Export citation Bookmark 35 citations
Inaccessible worlds.I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (3):346-352.details Download Export citation Bookmark 20 citations
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
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 362 citations

1