The model evolution calculus as a first-order DPLL method

&
Artificial Intelligence 172 (4-5):591-632 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2007.09.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Attributive adjectives and the predicate calculus.Hanoch Ben-Yami - 1996 - Philosophical Studies 83 (3):277 - 289.
Unification via the λse-style of explicit substitutions.M. Ayala-rincón & F. Kamareddine - 2001 - Logic Journal of the IGPL 9 (4):489-523.
A Sequent Calculus for Urn Logic.Rohan French - 2015 - Journal of Logic, Language and Information 24 (2):131-147.
The Normal-Form Decision Method in the Combined Calculus.Lei Ma - 2018 - Axiomathes 28 (4):461-489.
A Deterministic Terminating Sequent Calculus For Gödel-dummett Logic.R. Dyckhoff - 1999 - Logic Journal of the IGPL 7 (3):319-326.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
The Logic of Time Representation.Peter Bernard Ladkin - 1987 - Dissertation, University of California, Berkeley
Completeness of quantum logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Inductive types and type constraints in the second-order lambda calculus.Nax Paul Mendler - 1991 - Annals of Pure and Applied Logic 51 (1-2):159-172.
The rewriting calculus - part I.H. Cirstea & K. Kirchner - 2001 - Logic Journal of the IGPL 9 (3):339-375.
Higher-order automated theorem proving.Michael Kohlhase - unknown
Distributive Full Lambek Calculus Has the Finite Model Property.Michał Kozak - 2009 - Studia Logica 91 (2):201-216.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,407,188)

6 months
4 (#853,525)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Designing visual languages for description logics.Brian R. Gaines - 2009 - Journal of Logic, Language and Information 18 (2):217-250.

Add more citations

References found in this work

Pruning the search space and extracting more models in tableaux.N. Peltier - 1999 - Logic Journal of the IGPL 7 (2):217-251.

Add more references