7 found
Order:
  1. Modal Logic.Alexander Chagrov - 1997 - Oxford, England: 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 (2 more)  
     
    Export citation  
     
    Bookmark   82 citations  
  2.  20
    Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
    Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   112 citations  
  3.  32
    Modal Companions of Intermediate Propositional Logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  4.  86
    The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems.Alexander Chagrov & Michael Zakharyaschev - 1993 - Journal of Symbolic Logic 58 (3):967-1002.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  49
    The Disjunction Property of Intermediate Propositional Logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - 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)  
     
    Export citation  
     
    Bookmark   12 citations  
  6.  6
    The Truth About Algorithmic Problems in Correspondence Theory.Alexander Chagrov & Lilia Chagrova - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 121-138.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  7. The Truth About Algorithmic Problems in Correspondence Theory.Alexander Chagrov & Lilia Chagrova - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 121-138.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations