Order:
  1.  6
    A New Algebraic Semantic Approach and Some Adequate Connectives for Computation with Temporal Logic Over Discrete Time.Alfredo Burrieza & Inma P. De Guzmán - 1992 - 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.  4
    Increasing the Efficiency of Automated Theorem Proving.Gabriel Aguilera, Inma P. de Guzmán & Manuel Ojeda - 1995 - Journal of Applied Non-Classical Logics 5 (1):9-29.
  3.  3
    A Temporal Negative Normal Form Which Preserves Implicants and Implicates.Pablo Cordero, Manuel Enciso & Inma P. De Guzmán - 2000 - Journal of Applied Non-Classical Logics 10 (3):243-272.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography