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