Search dblp for Publications

export results for "toc:db/journals/apal/apal96.bht:"

 download as .bib file

@article{DBLP:journals/apal/Arlo-Costa99,
  author       = {Horacio L. Arl{\'{o}}{-}Costa},
  title        = {Belief Revision Conditionals: Basic Iterated Systems},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {3--28},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00028-1},
  doi          = {10.1016/S0168-0072(98)00028-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Arlo-Costa99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Benthem99,
  author       = {Johan van Benthem},
  title        = {Modality, Bisimulation and Interpolation in Infinitary Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {29--41},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00029-3},
  doi          = {10.1016/S0168-0072(98)00029-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Benthem99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Buss99,
  author       = {Samuel R. Buss},
  title        = {Bounded Arithmetic, Proof Complexity and Two Papers of Parikh},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {43--55},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00030-X},
  doi          = {10.1016/S0168-0072(98)00030-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Buss99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Carbone99a,
  author       = {Alessandra Carbone},
  title        = {Turning Cycles into Spirals},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {57--73},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00031-1},
  doi          = {10.1016/S0168-0072(98)00031-1},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Carbone99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Collins99,
  author       = {Arthur W. Collins},
  title        = {Behaviorism and Belief},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {75--88},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(99)80001-3},
  doi          = {10.1016/S0168-0072(99)80001-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Collins99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FaginHMV99,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern and
                  Yoram Moses and
                  Moshe Y. Vardi},
  title        = {Common Knowledge Revisited},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {89--105},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00033-5},
  doi          = {10.1016/S0168-0072(98)00033-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FaginHMV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Fitting99,
  author       = {Melvin Fitting},
  title        = {A Simple Propositional {S5} Tableau System},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {107--115},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00034-7},
  doi          = {10.1016/S0168-0072(98)00034-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Fitting99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Gaifman99,
  author       = {Haim Gaifman},
  title        = {Self-Reference and the Acyclicity of Rational Choice},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {117--140},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00035-9},
  doi          = {10.1016/S0168-0072(98)00035-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Gaifman99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Georgatos99,
  author       = {Konstantinos Georgatos},
  title        = {To Preference via Entrenchment},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {141--155},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00036-0},
  doi          = {10.1016/S0168-0072(98)00036-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Georgatos99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Hajek99,
  author       = {Petr H{\'{a}}jek},
  title        = {Ten Questions and One Problem on Fuzzy Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {157--165},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00037-2},
  doi          = {10.1016/S0168-0072(98)00037-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hajek99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HarelS99,
  author       = {David Harel and
                  Eli Singerman},
  title        = {Computation Paths Logic: An Expressive, yet Elementary, Process Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {167--186},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00038-4},
  doi          = {10.1016/S0168-0072(98)00038-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HarelS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HenriksenT99,
  author       = {Jesper G. Henriksen and
                  P. S. Thiagarajan},
  title        = {Dynamic Linear Time Temporal Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {187--207},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00039-6},
  doi          = {10.1016/S0168-0072(98)00039-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HenriksenT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Leivant99,
  author       = {Daniel Leivant},
  title        = {Ramified Recurrence and Computational Complexity {III:} Higher Type
                  Recurrence and Elementary Complexity},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {209--229},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00040-2},
  doi          = {10.1016/S0168-0072(98)00040-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Leivant99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekNR99,
  author       = {V. Wiktor Marek and
                  Anil Nerode and
                  Jeffrey B. Remmel},
  title        = {Logic Programs, Well-Orderings, and Forward Chaining},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {231--276},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00041-4},
  doi          = {10.1016/S0168-0072(98)00041-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/MarekNR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Moss99,
  author       = {Lawrence S. Moss},
  title        = {Coalgebraic Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {277--317},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00042-6},
  doi          = {10.1016/S0168-0072(98)00042-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Moss99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Pratt99,
  author       = {Vaughan R. Pratt},
  title        = {Chu Spaces from the Representational Viewpoint},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {319--333},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00043-8},
  doi          = {10.1016/S0168-0072(98)00043-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Pratt99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Pudlak99,
  author       = {Pavel Pudl{\'{a}}k},
  title        = {A Note on Applicability of the Incompleteness Theorem to Human Mind},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {335--342},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00044-X},
  doi          = {10.1016/S0168-0072(98)00044-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Pudlak99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ramanujam99,
  author       = {Ramaswamy Ramanujam},
  title        = {View-Based Explicit Knowledge},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {96},
  number       = {1-3},
  pages        = {343--368},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0168-0072(98)00045-1},
  doi          = {10.1016/S0168-0072(98)00045-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ramanujam99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics