Switch to: Citations

Add references

You must login to add references.
  1. Syntactic Codes and Grammar Refinement.Marcus Kracht - 1995 - Journal of Logic, Language and Information 4 (1):41-60.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.
    In many logics dealing with information one needs to make statements not only about cognitive states, but also about transitions between them. In this paper we analyze a dynamic modal logic that has been designed with this purpose in mind. On top of an abstract information ordering on states it has instructions to move forward or backward along this ordering, to states where a certain assertion holds or fails, while it also allows combinations of such instructions by means of operations (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Model Existence Theorem in Infinitary Propositional Modal Logic.Krister Segerberg - 1994 - Journal of Philosophical Logic 23 (4):337 - 367.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Axiomatizations with Context Rules of Inference in Modal Logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
    A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
    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   348 citations  
  • Derivation Rules as Anti-Axioms.Yde Venema - 1993 - Journal of Symbolic Logic 58:1003-1034.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Derivation Rules as Anti-Axioms in Modal Logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
    We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, then Λ+ is (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • 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-4):269-280.
    This paper is devoted to the completeness issue of RMLCI — the relative modal logic with composition and intersection— a restriction of the propositional dynamic logic with intersection. The trouble with RMLCI is that the operation of intersection is not modally definable. Using the notion of mosaics, we give a new proof of a theorem considered in a previous paper “Complete axiomatization of a relative modal logic with composition and intersection”. The theorem asserts that the proof theory of RMLCI is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Dynamic Extensions of Arrow Logic.Philippe Balbiani & Dimiter Vakarelov - 2004 - Annals of Pure and Applied Logic 127 (1-3):1-15.
    This paper is devoted to the complete axiomatization of dynamic extensions of arrow logic based on a restriction of propositional dynamic logic with intersection. Our deductive systems contain an unorthodox inference rule: the inference rule of intersection. The proof of the completeness of our deductive systems uses the technique of the canonical model.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Companion to Modal Logic.G. E. Hughes - 1984 - Methuen.
    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   53 citations  
  • 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.
    ABSTRACT We consider the question of the complete axiomatization of a relative modal logic with composition and intersection.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Multi-Dimensional Modal Logic.Maarten Marx - 1997 - Kluwer Academic Publishers.
    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  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames.Dov M. Gabbay - 1981 - In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 67--89.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Mathematics of Modality.Robert Goldblatt - 1993
    Download  
     
    Export citation  
     
    Bookmark   31 citations