Partial First-Order Logic

  • Areski Nait Abdallah
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)


We now discuss the model theory of (classical) first-order logic together with partial interpretations. As in the propositional case, the syntax of partial firstorder logic is essentially the same as in the classical case. The main difference from classical first-order logic is the model theory, and the resulting formal axiomatics. The reader is referred e.g. to Smullyan [94] for a comprehensive discussion of classical first-order logic.


Actual Object Potential Quantification Type Formula Actual Quantification Versus Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Areski Nait Abdallah
    • 1
  1. 1.Middlesex College, Department of Computer ScienceUniversity of Western OntarioLondonCanada

Personalised recommendations