default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 9, 2001
Volume 9, Number 1, January 2001
- Alessandro Avellone, Marco Benini, Ugo Moscato:
How to Avoid the Formal Verification of a Theorem Prover. 1-25 - Roy L. Crole:
Completeness of Bisimilarity for Contextual Equivalence in Linear Theories. 27-51 - Joe Hurd:
Congruence Classes with Logic Variables. 53-69 - Maarten Marx, Szabolcs Mikulás:
Products, or How to Create Modal Logics of High Complexity. 71-82 - Allan Ramsay:
Theorem Proving for Untyped Constructive $\lambda$-Calculus: Implementation and Application. 83-100 - Gabriel Sandu, Ahti Pietarinen
:
Partiality and Games: Propositional Logic. 101-121 - Ruy J. G. B. de Queiroz:
7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000). 123-134
Volume 9, Number 2, March 2001
- Jim Cunningham, Dov M. Gabbay:
Editorial. 139-140 - Dov M. Gabbay, John Woods:
The New Logic. 141-174 - Peter McBurney, Simon Parsons:
Dialectical Argumentation for Reasoning about Chemical Carcinogenicity. 175-188 - Gerry Wolff:
Information Compression by Multiple Alignment, Unification and Search as a Framework for Human-Like Reasoning. 189-206 - Jeff B. Paris, Maged H. Wafy:
On the Emergence of Reasons in Inductive Logic. 207-216 - Paul Wong, Philippe Besnard:
Paraconsistent Reasoning as an Analytic Tool. 217-230 - Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum:
Interpolation in Practical Formal Development. 231-244 - John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek:
On Programming KARO Agents. 245-256 - Michael J. Wooldridge, Alessio Lomuscio:
A Computationally Grounded Logic of Visibility, Perception, and Knowledge. 257-272 - Laura Giordano, Alberto Martelli, Camilla Schwind:
Reasoning about Actions in Dynamic Linear Time Temporal Logic. 273-288 - Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge:
Creating Collective Intention through Dialogue. 289-304 - Dov M. Gabbay, John Woods:
More on Non-Cooperation in Dialogue Logic. 305-324 - Jim Cunningham:
Towards an Axiomatic Theory of Consciousness. 325-331
Volume 9, Number 3, May 2001
- Horatiu Cirstea, Claude Kirchner:
The rewriting calculus - Part I. 339-375 - Horatiu Cirstea, Claude Kirchner:
The rewriting calculus - Part II. 377-410 - Fairouz Kamareddine:
Editorial. 335-337 - Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin:
Tableau Reasoning and Programming with Dynamic First Order Logic. 411-445 - Jacques D. Fleuriot:
Theorem Proving in Infinitesimal Geometry. 447-474 - Lawrence C. Paulson:
A Simple Formalization and Proof for the Mutilated Chess Board. 475-485
Volume 9, Number 4, July 2001
- Mauricio Ayala-Rincón, Fairouz Kamareddine:
Unification via the lambda se-Style of Explicit Substitutions. 489-523 - Katalin Bimbó:
Semantics for Structurally Free Logics LC+. 525-539 - Roy Dyckhoff, Sara Negri:
Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi. 541-548 - Keiko Ishihara, Kunihiko Hiraishi:
The Completeness of Linear Logic for Petri Net Models. 549-567 - Nicolas Peltier:
On the decidability of the PVD class with equality. 569-592 - Tarek Sayed Ahmed:
The Class of Neat Reducts is Not Elementary. 593-628
Volume 9, Number 5, September 2001
- Graham White:
A Linear Meta-Interpreter for Reasoning About States and Actions. 631-676 - Dimitar P. Guelev:
Interval-Related Interpolation in Interval Temporal Logics. 677-685 - Rohit Parikh, Laxmi Parida, Vaughan R. Pratt:
Sock Sorting: An Example of a Vague Algorithm. 687-692 - Ruy J. G. B. de Queiroz:
Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts. 693-734 - Patrick Blackburn, Maarten Marx:
Third International Workshop on Hybrid Logic (HyLo'01). 735-737 - Ruy J. G. B. de Queiroz:
8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001). 739-754
Volume 9, Number 6, November 2001
- Samir Chopra, Rohit Parikh, Renata Wassermann:
Approximate Belief Revision. 755-768 - Richard Gault, Iain A. Stewart:
On a hierarchy involving transitive closure logic and existential second-order quantification. 769-780 - Gerhard Jäger:
Lambek Grammars as Combinatory Categorial Grammars. 781-792 - Eugenia Reznik, Philippe Curmin:
Intuitionistic Sequent Calculi for Finitely Many-valued Logics. 793-812 - Pedro J. Martín, Antonio Gavilanes:
Free-variable Tableaux for Monotonic PreordersI. 813-844
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.
last updated on 2026-07-10 00:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
