Journals in DBLP

Journal of Applied Non-Classical Logics
2004, volume: 14, number: 1-2

1. Valentin Goranko, Angelo Montanari, Guido Sciavicco
   A Road Map of Interval Temporal Logics and Duration Calculi. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:9-54 [Journal]
   
2. Ben C. Moszkowski
   A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:55-104 [Journal]
   
3. Rodolfo Gómez, Howard Bowman
   PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:105-148 [Journal]
   
4. Dimitar P. Guelev, Dang Van Hung
   A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:149-180 [Journal]
   
5. Dimitar P. Guelev
   Logical Interpolation and Projection onto State in the Duration Calculus. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:181-208 [Journal]
   
6. Alessandro Artale, Carsten Lutz
   A Correspondence between Temporal Description Logics. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:209-233 [Journal]