7 found
Order:
  1.  2
    Philippe Balbiani & Luis Fariñas del Cerro (2012). Complete Axiomatization of a Relative Modal Logic with Composition and Intersection. Journal of Applied Non-Classical Logics 8 (4):325-335.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  6
    Luis Fariñas Del Cerro (2003). Foreword. Journal of Applied Non-Classical Logics 13 (1):114-114.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  3.  4
    Luis Fariñas del Cerro & Antonio Frías Delgado (1995). Razonamiento no monótono: un breve panorama. Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (23):7-26.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  4.  5
    Luis Fariñas del Cerro & Antonio Frías Delgado (1995). Condicionales y no monotonía. Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (23):27-37.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Luis Farinas Del Cerro (1990). Review: Antony Galton, Temporal Logics and Their Applications; Antony Galton, Temporal Logic and Computer Science: An Overview. [REVIEW] Journal of Symbolic Logic 55 (1):364-366.
     
    Export citation  
     
    My bibliography  
  6.  2
    Luis Fariñas Del Cerro (1990). 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] Journal of Symbolic Logic 55 (1):364-366.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7. Luis Fariñas del Cerro (1993). 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] Journal of Symbolic Logic 58 (2):719-720.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography