Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/apal/apal96.bht:"
@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} }
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.