4 found
Order:
  1.  4
    Alfredo Burrieza & Inma P. De Guzmán (1992). A New Algebraic Semantic Approach and Some Adequate Connectives for Computation with Temporal Logic Over Discrete Time. Journal of Applied Non-Classical Logics 2 (2):181-200.
    ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  6
    Manuel Ojeda-Aciego, Gerhard Brewka, Inma P. de Guzmán & Luís Moniz Pereira (2002). Preface. Studia Logica 72 (1):3-5.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    Gabriel Aguilera, Inma P. de Guzmán & Manuel Ojeda (1995). Increasing the Efficiency of Automated Theorem Proving. Journal of Applied Non-Classical Logics 5 (1):9-29.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  1
    Pablo Cordero, Manuel Enciso & Inma P. De Guzmán (2012). A Temporal Negative Normal Form Which Preserves Implicants and Implicates. Journal of Applied Non-Classical Logics 10 (3-4):243-272.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography