6 found
Order:
  1. Terminating Modal Tableaux with Simple Completeness Proof.Olivier Gasquet, Andreas Herzig & Mohamad Sahade - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 167-186.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  24
    Minimal Structures for Modal Tableaux: Some Examples.Luis Fariñas del Cerro & Olivier Gasquet - 2004 - Logic and Logical Philosophy 8:99.
  3.  16
    Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
    The problem of completeness for predicate modal logics is still under investigation, although some results have been obtained in the last few years . As far as we know, the case of multimodal logics has not been addressed at all. In this paper, we study the combination of modal logics in terms of combining their semantics. We demonstrate by a simple example that in this sense predicate modal logics are not so easily manipulated as propositional ones: mixing two Kripke-complete predicate (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  23
    Modal Tableaux for Reasoning About Diagrams.Luis Fariñas del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):169-184.
    This paper, we propose a modal logic satisfying minimal requirements for reasoning about diagrams via collection of sets and relations between them, following Harel's proposal. We first give an axiomatics of such a theory and then provide its Kripke semantics. Then we extend previous works of ours in order to obtain a decision procedure based on tableaux for this logic. Beside soundness and completeness of our tableaux, we manage to define a strategy of rule application ensuring termination by extending the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  26
    A General Framework for Pattern-Driven Modal Tableaux.Luis Fariñas Del Cerro & Olivier Gasquet - 2002 - Logic Journal of the IGPL 10 (1):51-83.
  6.  4
    Terminating Modal Tableaux with Simple Completeness Proof.Olivier Gasquet, Andreas Herzig & Mohamad Sahade - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 167-186.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark