default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 15
Volume 15, Number 1, February 2005
- Norihiro Kamide:
Linear Logics with Communication-merge. 3-20 - Michael L. Anderson
, Donald Perlis:
Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness. 21-40 - Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion:
Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time. 41-58 - Achim Blumensath, Stephan Kreutzer:
An Extension of Muchnik's Theorem. 59-74
Volume 15, Number 2, April 2005
- Jan van Eijck:
Normal Forms for Characteristic Functions on n-ary Relations. 85-98 - Robin Cooper:
Records and Record Types in Semantic Theory. 99-112 - Jonathan Ginzburg:
Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records. 113-130 - Chris Fox, Shalom Lappin:
Underspecified Interpretations in a Curry-typed Representation Language. 131-143 - Raymond Turner:
Semantics and Stratification. 145-158 - Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Probabilistic /lambda-calculus and Quantitative Program Analysis. 159-179 - David Clark, Sebastian Hunt, Pasquale Malacaria:
Quantitative Information Flow, Relations and Polymorphic Types. 181-199 - François-Régis Sinot:
Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting. 201-218 - Ian Mackie:
Interaction Net Implementation of Additive and Multiplicative Structures. 219-237
Volume 15, Number 3, June 2005
- Arnon Avron, Iddo Lev:
Non-deterministic Multiple-valued Structures. 241-261 - Jonathan Ben-Naim:
Preferential and Preferential-discriminative Consequence Relations. 263-294 - Marc Pauly:
Programming and Verifying Subgame-Perfect Mechanisms. 295-316 - Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum:
A Verification Logic for Rewriting Logic. 317-352 - Sabine Broda, Luís Damas:
On Long Normal Inhabitants of a Type. 353-390 - Pascal Hitzler:
Towards a Systematic Account of Different Semantics for Logic Programs. 391-404
Volume 15, Number 4, August 2005
- Sergei I. Adian, Matthias Baaz, Lev D. Beklemishev:
Editorial. 409
- Emil Jerábek:
Admissible Rules of Modal Logics. 411-431 - Arnold Beckmann:
Uniform Proof Complexity. 433-446 - Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort:
A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic. 447-463 - Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith:
An Iterative Framework for Simulation Conformance. 465-488 - Rosalie Iemhoff:
A Note on Linear Kripke Models. 489-506 - Sebastiaan Terwijn:
Probabilistic Logic and Induction. 507-515 - Tatiana Yavorskaya:
Negative Operations on Proofs and Labels. 517-537 - Rostislav Yavorskiy:
On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs. 539-549 - Christian Schallhart, Luca Trevisan:
Approximating Succinct MaxSat. 551-557 - Ilya Shapirovsky, Valentin B. Shehtman:
Modal Logics of Regions and Minkowski Spacetime. 559-574
Volume 15, Number 5, October 2005
- Vinay Deolalikar, Joel David Hamkins, Ralf Schindler:
P != NP cap co-NP for Infinite Time Turing Machines. 577-592 - James P. Delgrande, Torsten Schaub:
Expressing Default Logic Variants in Default Logic. 593-621 - Raymond Turner:
The Foundations of Specification. 623-662 - Vladimir V. Rybakov:
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals. 663-678 - Jonathan Ben-Naim:
Pivotal and Pivotal-discriminative Consequence Relations. 679-700 - Ernest Davis, Leora Morgenstern:
A First-order Theory of Communication and Multi-agent Plans. 701-749 - Jonathan Westphal, Jim Hardy:
Logic as a Vector System. 751-765 - Stéphane Demri:
A Reduction from DLP to PDL. 767-785 - Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías:
Ground Nonmonotonic Modal Logic S5: New Results. 787-813
- Richard E. Overill:
Review: Advances in Elliptic Curve Cryptography. 815
Volume 15, Number 6, December 2005
- David J. Pym:
Editorial. 819
- Mary DeMarco, James Lipton:
Completeness and Cut-elimination in the Intuitionistic Theory of Types. 821-854 - Eduardo Bonelli, Delia Kesner, Alejandro Ríos:
de Bruijn Indices for Metaterms. 855-899 - Eduardo Bonelli, Delia Kesner, Alejandro Ríos:
Relating Higher-order and First-order Rewriting. 901-947 - Klaus Glashoff:
Aristotelian Syntax from a Computational-Combinatorial Point of View. 949-973 - Gem Stapleton, John Howse, John Taylor:
A Decidable Constraint Diagram Reasoning System. 975-1008 - Henry Prakken:
Coherence and Flexibility in Dialogue Games for Argumentation. 1009-1040 - Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. 1041-1058 - Sergei N. Artëmov, Elena Nogina:
Introducing Justification into Epistemic Logic. 1059-1073 - Trevor J. M. Bench-Capon, Katie Atkinson, Alison Chorley:
Persuasion and Value in Legal Argument. 1075-1097
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 2025-11-04 00:26 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
