default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 96

> Home > Journals > Annals of Pure and Applied Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 96, Numbers 1-3, 1 March 1999

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Arlo-Costa99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Arlo-Costa99
Horacio L. Arló-Costa:
Belief Revision Conditionals: Basic Iterated Systems. 3-28
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Benthem99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Benthem99
Johan van Benthem:
Modality, Bisimulation and Interpolation in Infinitary Logic. 29-41
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Buss99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Buss99
Samuel R. Buss:
Bounded Arithmetic, Proof Complexity and Two Papers of Parikh. 43-55
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Carbone99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Carbone99a
Alessandra Carbone:
Turning Cycles into Spirals. 57-73
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Collins99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Collins99
Arthur W. Collins:
Behaviorism and Belief. 75-88
- view
  authority control:
- export record
  dblp key:
  - journals/apal/FaginHMV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/FaginHMV99
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited. 89-105
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Fitting99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Fitting99
Melvin Fitting:
A Simple Propositional S5 Tableau System. 107-115
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Gaifman99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Gaifman99
Haim Gaifman:
Self-Reference and the Acyclicity of Rational Choice. 117-140
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Georgatos99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Georgatos99
Konstantinos Georgatos:
To Preference via Entrenchment. 141-155
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Hajek99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Hajek99
Petr Hájek:
Ten Questions and One Problem on Fuzzy Logic. 157-165
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HarelS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HarelS99
David Harel, Eli Singerman:
Computation Paths Logic: An Expressive, yet Elementary, Process Logic. 167-186
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HenriksenT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HenriksenT99
Jesper G. Henriksen, P. S. Thiagarajan:
Dynamic Linear Time Temporal Logic. 187-207
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Leivant99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Leivant99
Daniel Leivant:
Ramified Recurrence and Computational Complexity III: Higher Type Recurrence and Elementary Complexity. 209-229
- view
  authority control:
- export record
  dblp key:
  - journals/apal/MarekNR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/MarekNR99
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Logic Programs, Well-Orderings, and Forward Chaining. 231-276
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Moss99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Moss99
Lawrence S. Moss:
Coalgebraic Logic. 277-317
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Pratt99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Pratt99
Vaughan R. Pratt:
Chu Spaces from the Representational Viewpoint. 319-333
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Pudlak99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Pudlak99
Pavel Pudlák:
A Note on Applicability of the Incompleteness Theorem to Human Mind. 335-342
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ramanujam99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ramanujam99
Ramaswamy Ramanujam:
View-Based Explicit Knowledge. 343-368

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.