6 found
Order:
  1.  7
    Temporal Logics and Their Applications, Edited by Antony Galton, Academic Press, London, San Diego, Etc., 1987, Xii + 244 Pp.—Therein: - Antony Galton. Temporal Logic and Computer Science: An Overview. Pp. 1– 52. - Howard Barringer. The Use of Temporal Logic in the Compositional Specification of Concurrent Systems. Pp. 53– 90. - Roger Hale. Temporal Logic Programming. Pp. 91– 119. - Fariba Sadri. Three Recent Approaches to Temporal Reasoning. Pp. 121– 168. - Antony Galton. The Logic of Occurrence. Pp. 169– 196. - Dov Gabbay. Modal and Temporal Logic Programming. Pp. 197– 237. [REVIEW]Luis Fariñas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.
  2.  19
    Errata and Addenda to ‘Finite Non-Deterministic Semantics for Some Modal Systems’.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2016 - Journal of Applied Non-Classical Logics 26 (4):336-345.
    In this note, an error in the axiomatization of Ivlev’s modal system Sa+ which we inadvertedly reproduced in our paper “Finite non-deterministic semantics for some modal systems”, is fixed. Additionally, some axioms proposed in were slightly modified. All the technical results in which depend on the previous axiomatization were also fixed. Finally, the discussion about decidability of the level valuation semantics initiated in is taken up. The error in Ivlev’s axiomatization was originally pointed out by H. Omori and D. Skurt (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  23
    Razonamiento no monótono: un breve panorama.Luis Fariñas del Cerro & Antonio Frías Delgado - 1995 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (2):7-26.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  6
    Complete Axiomatization of a Relative Modal Logic with Composition and Intersection.Philippe Balbiani & Luis Fariñas del Cerro - 1998 - Journal of Applied Non-Classical Logics 8 (4):325-335.
    ABSTRACT We consider the question of the complete axiomatization of a relative modal logic with composition and intersection.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  14
    Foreword.Luis Fariñas Del Cerro - 2003 - Journal of Applied Non-Classical Logics 13 (1):114-114.
  6.  7
    Wallen Lincoln A.. Automated Proof Search in Non-Classical Logics. Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. Artificial Intelligence Series. The MIT Press, Cambridge, Mass., and London, 1990, Xv+ 239 Pp. [REVIEW]Luis Fariñas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.