10 found
Order:
  1.  52
    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 citations  
  2.  33
    Logical connectives for two-state semantics.Marta Cialdea Mayer & Luis Fariñas del Cerro - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):520-536.
    1. A. Heyting (1930) introduced an intermediate logic whose semantics is based on a pair of states (‘here’ and ‘there’). This logic was axiomatized by Hosoi (1966), using the sequence of intermedia...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  18
    Metric dynamic equilibrium logic.Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Farinas del Cerro, Torsten Schaub & Anna Schuhmann - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):495-519.
    1. Reasoning about action and change, or more generally reasoning about dynamic systems, is not only central to knowledge representation and reasoning but at the heart of computer science (Fisher e...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  9
    Conditionals: From Philosophy to Computer Science.Gabriella Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - New York: Studies in Logic and Computati.
    Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  19
    (1 other version)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  
  6.  24
    Foreword.Luis Fariñas Del Cerro - 2003 - Journal of Applied Non-Classical Logics 13 (1):114-114.
  7. 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.
     
    Export citation  
     
    Bookmark  
  8. Condicionales y no monotonía.Luis FariÑas Del Cerro - 1995 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (2):27.
     
    Export citation  
     
    Bookmark  
  9.  20
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  17
    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.