default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 7
Volume 7, Number 1, February 1997
- Frank S. de Boer, Alessandra Di Pierro
, Catuscia Palamidessi:
An Algebraic Perspective of Constraint Logic Programming. 1-38 - Bernhard Beckert:
Semantic Tableaux with Equality. 39-58 - Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov:
Modal Logics for Incidence Geometries. 59-78 - Joseph Y. Halpern:
A Theory of Knowledge and Ignorance for Many Agents. 79-108 - Madhura Nirkhe, Sarit Kraus, Michael J. Miller, Donald Perlis:
How to (Plan to) Meet a Deadline between Now and Then. 109-156
Volume 7, Number 2, April 1997
- Jianhua Chen:
The Generalized Logic of only Knowing (GOL) That Covers the Notion of Epistemic Specifications. 159-174 - Lawrence C. Paulson:
Mechanizing Coinduction and Corecursion in Higher-Order Logic. 175-204 - Martin Grohe:
Existential Least Fixed-Point Logic and its Relatives. 205-228 - Raymond Turner:
Reading Between the Lines in Constructive Type Theory. 229-250 - Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti:
Modal Deduction in Second-Order Logic and Set Theory - I. 251-265 - Dino Pedreschi, Salvatore Ruggieri:
Verification of Meta-Interpreters. 267-303
Volume 7, Number 3, June 1997
- Robin Hirsch:
Expressive Power and Complexity in Algebraic Logic. 309-351 - Nadia Creignou, Malika More:
Complexity of Satisfiability Problems with Symmetric Polynomial Clauses. 353-366 - Alberto Momigliano, Mario Ornaghi:
Regular Search Spaces and Constructive Negation. 367-403 - Henrik Imhof:
Fixed-Point Logics, Generalized Quantifiers, and Oracles. 405-425
Volume 7, Number 4, August 1997
- Michael Fisher:
A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution. 429-456 - Etienne Grandjean, Hans Kleine Büning:
SAT-Problems and Reductions with Respect to the Number of Variables. 457-471 - Àngel J. Gil, Antoni Torrens, Ventura Verdú:
On Gentzen Systems Associated with the Finite Linear MV-Algebras. 473-500 - Natasha Kurtonina, Maarten de Rijke:
Simulating Without Negation. 501-522 - Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Ground Nonmonotonic Modal Logics. 523-548
Volume 7, Number 5, October 1997
- Domenico Saccà, Carlo Zaniolo:
Deterministic and Non-Deterministic Stable Models. 555-579 - Hans Jürgen Ohlbach, Renate A. Schmidt:
Functional Translation and Second-Order Frame Properties of Modal Logics. 581-603 - Hassan Bezzazi, David Makinson, Ramón Pino Pérez:
Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations. 605-631 - Ho Ngoc Duc:
Reasoning About Rational, But Not Logically Omniscient, Agents. 633-648 - Rajeev Goré, Wolfgang Heinle, Alain Heuerding:
Relations Between Propositional Normal Modal Logics: An Overview. 649-658 - Egon Börger, Peter H. Schmitt:
A Description of the Tableau Method Using Abstract State Machines. 659-681
Volume 7, Number 6, December 1997
- David A. Basin, Seán Matthews, Luca Viganò:
Labelled Propositional Modal Logics: Theory and Practice. 685-717 - Heinrich Wansing:
Modal Tableaux Based on Residuation. 719-731 - Silvio Ghilardi:
Unification Through Projectivity. 733-752 - Roberta Gori, Giorgio Levi:
Finite Failure is And-Compositional. 753-776 - Ronen I. Brafman:
A First-Order Conditional Logic with Qualitative Statistical Semantics. 777-803 - Thomas Eiter, Georg Gottlob, Nicola Leone:
On the Indiscernibility of Individuals in Logic Programming. 805-824
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-04-04 23:27 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
