Generalized quantification in an axiomatic truth theory
Bruno Whittle (2019) has recently extended Kripke’s semantical theory of truth to languages containing generalized quantifiers. There are reasons for axiomatizing semantical theories, and for regarding Halbach and Horsten’s PKF as a good axiomatization of Kripke’s. PKF is a theory in Partial Logic....
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Taylor and Francis
2024
|