Journals in DBLP

Ann. Pure Appl. Logic
1999, volume: 96, number: 1-3

1. Horacio L. Arló-Costa
   Belief Revision Conditionals: Basic Iterated Systems. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:3-28 [Journal]
   
2. Johan van Benthem
   Modality, Bisimulation and Interpolation in Infinitary Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:29-41 [Journal]
   
3. Samuel R. Buss
   Bounded Arithmetic, Proof Complexity and Two Papers of Parikh. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:43-55 [Journal]
   
4. Alessandra Carbone
   Turning Cycles into Spirals. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:57-73 [Journal]
   
5. Arthur W. Collins
   Behaviorism and Belief. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:75-88 [Journal]
   
6. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
   Common Knowledge Revisited. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:89-105 [Journal]
   
7. Melvin Fitting
   A Simple Propositional S5 Tableau System. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:107-115 [Journal]
   
8. Haim Gaifman
   Self-Reference and the Acyclicity of Rational Choice. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:117-140 [Journal]
   
9. Konstantinos Georgatos
   To Preference via Entrenchment. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:141-155 [Journal]
   
10. Petr Hájek
    Ten Questions and One Problem on Fuzzy Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:157-165 [Journal]
    
11. David Harel, Eli Singerman
    Computation Paths Logic: An Expressive, yet Elementary, Process Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:167-186 [Journal]
    
12. Jesper G. Henriksen, P. S. Thiagarajan
    Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:187-207 [Journal]
    
13. Daniel Leivant
    Ramified Recurrence and Computational Complexity III: Higher Type Recurrence and Elementary Complexity. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:209-229 [Journal]
    
14. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    Logic Programs, Well-Orderings, and Forward Chaining. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:231-276 [Journal]
    
15. Lawrence S. Moss
    Coalgebraic Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:277-317 [Journal]
    
16. Vaughan R. Pratt
    Chu Spaces from the Representational Viewpoint. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:319-333 [Journal]
    
17. Pavel Pudlák
    A Note on Applicability of the Incompleteness Theorem to Human Mind. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:335-342 [Journal]
    
18. Ramaswamy Ramanujam
    View-Based Explicit Knowledge. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:343-368 [Journal]