Switch to: Citations

Add references

You must login to add references.
  1. Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
    Download  
     
    Export citation  
     
    Bookmark   157 citations  
  • Formalized Algorithmic Languages.A. Salwicki - 1974 - Journal of Symbolic Logic 39 (2):349-350.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Proof of the Completeness Theorem of Godel.H. Rasiowa & R. Sikorski - 1952 - Journal of Symbolic Logic 17 (1):72-72.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Mathematics of Modality.Robert Goldblatt - 1993 - Center for the Study of Language and Information Publications.
    Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements - like the ordinary language phrases necessarily, possibly, it is known/believed/ought to be, etc., and computationally or mathematically motivated expressions like provably, at the next state, or after the computation terminates. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades, since the introduction of the methods of Kripke semantics, and now impacts on a wide (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.
    Download  
     
    Export citation  
     
    Bookmark   55 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   14 citations  
  • Dynamic Logic.David Harel, Dexter Kozen & Jerzy Tiuryn - 2000 - MIT Press.
    This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical (...)
    Download  
     
    Export citation  
     
    Bookmark   127 citations  
  • Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
    We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be extended with countably many sequents. Thus, although these logics may be non-compact, strong completeness proofs are provided for infinitary hybrid versions of non-compact logics like ancestral logic and Segerberg’s modal logic with the bounded chain condition. This extends the completeness result for hybrid logics by Gargov, Passy, and Tinchev.
    Download  
     
    Export citation  
     
    Bookmark   3 citations