4 found
Sort by:
  1. Alexander Chagrov (1997). Modal Logic. Oxford University Press.
    For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Alexander Chagrov & Michael Zakharyaschev (1993). The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. Journal of Symbolic Logic 58 (3):967-1002.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Alexander Chagrov & Michael Zakharyashchev (1992). Modal Companions of Intermediate Propositional Logics. Studia Logica 51 (1):49 - 82.
    This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions into various classical modal systems.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Alexander Chagrov & Michael Zakharyashchev (1991). The Disjunction Property of Intermediate Propositional Logics. Studia Logica 50 (2):189 - 216.
    This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate prepositional logics and normal modal logics containing S4.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation