Partial First-Order Logic
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  for a comprehensive discussion of classical first-order logic.
KeywordsActual Object Potential Quantification Type Formula Actual Quantification Versus Rule
Unable to display preview. Download preview PDF.