7 found
Sort by:
  1. 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)  
     
    My bibliography  
     
    Export citation  
  2. Luis Fariñas Del Cerro (2003). Foreword. Journal of Applied Non-Classical Logics 13 (1):114-114.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. 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  
     
    My bibliography  
     
    Export citation  
  6. 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. 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  
     
    My bibliography  
     
    Export citation