11. For instance many-sorted predicate logic is considered a just variation of predicate logic . 12. These form the basis of model theory as the domain of discourse of predicate logic . 13. The third follows by elementary predicate logic . 14. In this example, the first statement uses propositional ( sentential ) logic and predicate logic . 15. Assertions are formulae in predicate logic . 16. They successfully transferred key properties of description, modal, and temporal logic to predicate logic . 17. The following table shows the longer form, the succinct shorthand, and equivalent expressions in predicate logic : 18. They are typically based on predicate logic but can also be based on any system of formal logic. 19. Frege's original system of predicate logic was second-order, rather than first-order. 20. More generally, game semantics may be applied to predicate logic ; the new rules allow a dominant witnesses.
