7 found
Order:
  1.  5
    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  
     
    My bibliography  
  2.  3
    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.
  3.  9
    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 (23):7-26.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  4.  12
    Condicionales y no monotonía.Luis Fariñas del Cerro & Antonio Frías Delgado - 1995 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (23):27-37.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  5.  6
    Foreword.Luis Fariñas Del Cerro - 2003 - Journal of Applied Non-Classical Logics 13 (1):114-114.
  6.  2
    Temporal Logics and Their Applications, Edited by Galton Antony, Academic Press, London, San Diego, Etc., 1987, Xii+ 244 Pp.—Therein: Galton Antony. Temporal Logic and Computer Science: An Overview. Pp. 1–52. Barringer Howard. The Use of Temporal Logic in the Compositional Specification of Concurrent Systems. Pp. 53–90. Hale Roger. Temporal Logic Programming. Pp. 91–119. Sadri Fariba. Three Recent Approaches to Temporal Reasoning. Pp. 121–168. Galton Antony. The Logic of Occurrence. Pp. 169–196. Gabbay Dov. Modal and Temporal Logic Programming. Pp. 197–237. [REVIEW]Luis Fariñas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.
  7.  1
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography