Switch to: Citations

Add references

You must login to add references.
  1. An Undecidable Problem in Correspondence Theory.L. A. Chagrova - 1991 - Journal of Symbolic Logic 56 (4):1261-1272.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Tools and Techniques in Modal Logic.Marcus Kracht - 1999 - Elsevier.
    This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
    This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.
    Download  
     
    Export citation  
     
    Bookmark   231 citations