Journal of Logic and Computation, Volume 8
Volume 8, Number 1, February 1998
Dov M. Gabbay: Editorial. 3- Robert Harper, Frank Pfenning: A Module System for a Programming Language Based on the LF Logical Framework. 5-31
- Melvin Fitting: leanTAP Revisited. 33-47
- Gösta Grahne: Updates and Counterfactuals. 87-117
Volume 8, Number 2, April 1998
- Michael Freund: Preferential Orders and Plausibility Measures. 147-158
- Wilfried Buchholz: A Note on SLDNF-Resolution. 159-167
- Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin: Extensions for Open Default Theories via the Domain Closure Assumption. 169-187
- Gopalan Nadathur: Uniform Provability in Classical Logic. 209-229
Volume 8, Number 3, June 1998
- Simon Parsons, Carles Sierra, Nicholas R. Jennings: Agents That Reason and Negotiate by Arguing. 261-292
- Clare Dixon, Michael Fisher, Michael Wooldridge: Resolution for Temporal Logics of Knowledge. 345-372
- Fabio Massacci: Tableau Methods for Formal Verification of Multi-Agent Distributed Systems. 373-400
- Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini: Model Checking Multiagent Systems. 401-423
- Munindar P. Singh: Applying the Mu-Calculus in Planning and Reasoning about Action. 425-445
Volume 8, Number 4, August 1998
- Roberto Giacobazzi: Abductive Analysis of Modular Logic Programs. 457-483
- Hans Hüttel, Colin Stirling: Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. 485-509
- Nicolas Peltier: A New Method for Automated Finite Model Building Exploiting Failures and Symmetries. 511-543
- Rachel Cardell-Oliver: An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs. 545-567
- Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz: Simplification of Many-Valued Logic Formulas Using Anti-Links. 569-587
- Lex Hendriks: Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation. 589-593
Volume 8, Number 5, October 1998
- Matteo Baldoni, Laura Giordano, Alberto Martelli: A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. 597-635
- A. D. Yashin: New Solutions to Novikov's Problem for Intuitionistic Connectives. 637-664
- Alexander Moshe Rabinovich: On the Decidability of Continuous Time Specification Formalisms. 669-678
- Kevin Lano: Logical Specification of Reactive and Real-Time Systems. 679-711
Volume 8, Number 6, December 1998
- Tanel Tammet, Jan M. Smith: Optimized Encodings of Fragments of Type Theory in First-Order Logic. 713-744
- Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Update Rules in Datalog Programs. 745-775
- Javier Pinto: Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. 777-808
- Thomas Drakengren, Peter Jonsson: Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic. 855-875
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team