1. Counting Variables in a Dynamic Setting
- Author
-
Marco Hollenberg and Kees Vermeulen
- Subjects
Predicate logic ,Predicate variable ,Logic ,Semantics (computer science) ,Base (topology) ,Theoretical Computer Science ,First-order logic ,Variable (computer science) ,Perspective (geometry) ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,Arts and Humanities (miscellaneous) ,Wijsbegeerte ,Hardware and Architecture ,Arithmetic ,Software ,Natural language ,Mathematics - Abstract
We discuss the issue of finite variable fragments from a dynamic perspective. Instead of taking PRED, first order logic with equality, as our base language, we look at DPLE, a variant of predicate logic developed in the area of dynamic semantics for natural language. We present a characterisation of all the finite variable fragments of DPLE.
- Published
- 1994