default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Computation, Volume 8

> Home > Journals > Journal of Logic and Computation

Refine list

refinements active!

zoomed in on 0 of 0 records

view refined list in

export refined list as

showing all 0 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 8, Number 1, February 1998

- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Gabbay98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Gabbay98
Dov M. Gabbay:
Editorial. 3
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/HarperP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/HarperP98
Robert Harper, Frank Pfenning:
A Module System for a Programming Language Based on the LF Logical Framework. 5-31
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Fitting98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Fitting98
Melvin Fitting:
leanTAP Revisited. 33-47
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Mirian-HosseinabadiT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Mirian-HosseinabadiT98
Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner:
Constructive Z. 49-70
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/HellaI98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/HellaI98
Lauri Hella, Henrik Imhof:
Enhancing Fixed Point Logic with Cardinality Quantifiers. 71-86
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Grahne98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Grahne98
Gösta Grahne:
Updates and Counterfactuals. 87-117
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GriesS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GriesS98
David Gries, Fred B. Schneider:
Adding the Everywhere Operator to Propositional Logic. 119-129
no results

Volume 8, Number 2, April 1998

- view
  authority control:
- export record
  dblp key:
  - journals/logcom/ShinyP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/ShinyP98
A. K. Shiny, Arun K. Pujari:
Computation of Prime Implicants Using Matrix and Paths. 135-145
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Freund98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Freund98
Michael Freund:
Preferential Orders and Plausibility Measures. 147-158
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Buchholz98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Buchholz98
Wilfried Buchholz:
A Note on SLDNF-Resolution. 159-167
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/KaminskiMT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/KaminskiMT98
Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin:
Extensions for Open Default Theories via the Domain Closure Assumption. 169-187
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/DurandLS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/DurandLS98
Arnaud Durand, Clemens Lautemann, Thomas Schwentick:
Subclasses of Binary NP. 189-207
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Nadathur98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Nadathur98
Gopalan Nadathur:
Uniform Provability in Classical Logic. 209-229
no results

Volume 8, Number 3, June 1998

- view
  authority control:
- export record
  dblp key:
  - journals/logcom/JenningsWG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/JenningsWG98
Nicholas R. Jennings, Michael J. Wooldridge, Fausto Giunchiglia:
Editorial. 231-232
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/DInvernoL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/DInvernoL98
Mark d'Inverno, Michael Luck:
Engineering AgentSpeak(L): A Formal Computational Model. 233-260
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/ParsonsSJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/ParsonsSJ98
Simon Parsons, Carles Sierra, Nicholas R. Jennings:
Agents That Reason and Negotiate by Arguing. 261-292
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/RaoG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/RaoG98
Anand S. Rao, Michael P. Georgeff:
Decision Procedures for BDI Logics. 293-342
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/DixonFW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/DixonFW98
Clare Dixon, Michael Fisher, Michael J. Wooldridge:
Resolution for Temporal Logics of Knowledge. 345-372
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Massacci98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Massacci98
Fabio Massacci:
Tableau Methods for Formal Verification of Multi-Agent Distributed Systems. 373-400
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BenerecettiGS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BenerecettiGS98
Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini:
Model Checking Multiagent Systems. 401-423
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Singh98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Singh98
Munindar P. Singh:
Applying the Mu-Calculus in Planning and Reasoning about Action. 425-445
no results

Volume 8, Number 4, August 1998

- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Giacobazzi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Giacobazzi98
Roberto Giacobazzi:
Abductive Analysis of Modular Logic Programs. 457-483
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/HuttelS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/HuttelS98
Hans Hüttel, Colin Stirling:
Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. 485-509
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Peltier98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Peltier98
Nicolas Peltier:
A New Method for Automated Finite Model Building Exploiting Failures and Symmetries. 511-543
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Cardell-Oliver98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Cardell-Oliver98
Rachel Cardell-Oliver:
An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs. 545-567
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BeckertHE98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BeckertHE98
Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz:
Simplification of Many-Valued Logic Formulas Using Anti-Links. 569-587
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Hendriks98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Hendriks98
Lex Hendriks:
Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation. 589-593
no results

Volume 8, Number 5, October 1998

- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BaldoniGM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BaldoniGM98
Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. 597-635
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Yashin98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Yashin98
A. D. Yashin:
New Solutions to Novikov's Problem for Intuitionistic Connectives. 637-664
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/CastellanP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/CastellanP98
Maurizio Castellan, Mario Piazza:
Saturated Formulas in Full Linear Logic. 665-668
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Rabinovich98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Rabinovich98
Alexander Moshe Rabinovich:
On the Decidability of Continuous Time Specification Formalisms. 669-678
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Lano98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Lano98
Kevin Lano:
Logical Specification of Reactive and Real-Time Systems. 679-711
no results

Volume 8, Number 6, December 1998

- view
  authority control:
- export record
  dblp key:
  - journals/logcom/TammetS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/TammetS98
Tanel Tammet, Jan M. Smith:
Optimized Encodings of Fragments of Type Theory in First-Order Logic. 713-744
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AlvesLS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlvesLS98
Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos:
Update Rules in Datalog Programs. 745-775
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Pinto98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Pinto98
Javier Pinto:
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. 777-808
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/IshtiaqP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/IshtiaqP98
Samin S. Ishtiaq, David J. Pym:
A Relevant Analysis of Natural Deduction. 809-838
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BaratellaB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BaratellaB98
Stefano Baratella, Stefano Berardi:
Approximating Classical Theorems. 839-854
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/DrakengrenJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/DrakengrenJ98
Thomas Drakengren, Peter Jonsson:
Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic. 855-875
no results

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.