default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 13
Volume 13, Number 1, February 2003
- Dov M. Gabbay:
Editorial. 1 - Dov M. Gabbay, Gabriella Pigozzi, John Woods:
Controlled Revision - An algorithmic approach for belief revision. 3-22 - Sven Ove Hansson:
Ten Philosophical Problems in Belief Revision. 37-49 - Lee C. Hill, Jeff B. Paris:
When Maximizing Entropy gives the Rational Closure. 51-68 - Odinaldo Rodrigues
:
Structured Clusters: A Framework to Reason with Contradictory Interests. 69-97 - Eduardo L. Fermé, Juan Mikalef, Jorge Taboada:
Credibility-limited Functions for Belief Bases. 99-110 - Hans Rott:
Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence. 111-145 - Alice ter Meulen:
Representation and Human Reasoning. 147-155
Volume 13, Number 2, April 2003
- Xizhong Zheng:
On the Turing Degrees of Weakly Computable Real Numbers. 159-172 - Giovanna D'Agostino:
Characterizing Interpolation Pairs in Infinitary Graded Logics. 173-193 - Howard Bowman, Simon J. Thompson:
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. 195-239 - Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi:
A Tableau Calculus for Hájek's Logic BL. 241-259 - Wafik Boulos Lotfallah:
On the Complexity of the First-order Random Theory. 261-271 - Risto Kaila:
On Almost Sure Elimination of Numerical Quantifiers. 273-285 - María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Uniform Lazy Narrowing. 287-312 - Richard Banach:
Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten. 313-314
Volume 13, Number 3, June 2003
- Gerhard Brewka, Henry Prakken, Gerard Vreeswijk:
Special Issue on Computational Dialectics: an Introduction. 317-318 - Bart Verheij:
DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions. 319-346 - Simon Parsons, Michael J. Wooldridge, Leila Amgoud:
Properties and Complexity of Some Formal Inter-agent Dialogues. 347-376 - Claudette Cayrol, Sylvie Doutre, Jérôme Mengin:
On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks. 377-403 - Alexander Bochman:
Collective Argumentation and Disjunctive Logic Programming. 405-428 - Trevor J. M. Bench-Capon:
Persuasion in Practical Argument Using Value-based Argumentation Frameworks. 429-448
Volume 13, Number 4, August 2003
- Heinrich Wansing:
Editorial. 451 - Sergei P. Odintsov:
Algebraic Semantics for Paraconsistent Nelson's Logic. 453-468 - Petr Hájek:
Fuzzy Logics with Noncommutative Conjuctions. 469-479 - Stefania Lusin, Antonino Salibra:
A Note on Absolutely Unorderable Combinatory Algebras. 481-502 - Anuj Dawar, David Richerby:
Fixed-point Logics with Nondeterministic Choice. 503-530 - Francesc Esteva, Lluís Godo, Petr Hájek, Franco Montagna:
Hoops and Fuzzy Logic. 532-555 - Ofer Arieli, Marc Denecker:
Reducing Preferential Paraconsistent Reasoning to Classical Entailment. 557-580 - Stephen A. Cook, Yongmei Liu:
A Complete Axiomatization for Blocks World. 581-594 - Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas:
Fibring Logics with Topos Semantics. 595-624 - Richard Banach:
Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.). 625-627
Volume 13, Number 5, 2003
- David J. Pym:
Editorial. 633-638 - Iliano Cervesato, Frank Pfenning:
A Linear Spine Calculus. 639-688 - Roy Dyckhoff, Christian Urban:
Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation. 689-706 - Didier Galmiche, Daniel Méry:
Semantic Labelled Tableaux for Propositional BI. 707-753 - Gianluigi Bellin, Kurt Ranalter:
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP. 755-775 - Edmund Robinson:
Proof Nets for Classical Logic. 777-797 - David J. Pym:
Forthcoming Papers. 799-800
Volume 13, Number 6, 2003
- Solange Coupet-Grimal:
An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions. 801-813 - Solange Coupet-Grimal, Catherine Nouvet:
Formal Verification of an Incremental Garbage Collector. 815-833 - Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
Hypersequent Calculi for Gödel Logics - a Survey. 835-861 - Antonín Kucera, Javier Esparza:
A Logical Viewpoint on Process-algebraic Quotients. 863-880 - Morteza Moniri:
Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND. 881-888 - Marco Aiello, Johan van Benthem, Guram Bezhanishvili:
Reasoning About Space: The Modal Way. 889-920 - Michael Kaminski, Yael Yariv:
A Real-time Semantics of Temporal Logic of Actions. 921-937 - Natasha Alechina, Stéphane Demri, Maarten de Rijke:
A Modal Perspective on Path Constraints. 939-956 - Richard Banach:
Review: Mathematics of Quantum Computation. 957-959 - Richard Banach:
Review: Handbook of Process Algebra. 959-962
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 2024-12-29 01: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:
