A Temporal Logic for Sortals
A formal language for sortals with temporal operators and its formal semantics is characterized in this chapter. A formal system for this language is also stated and proved to be absolutely consistent. Soundness and completeness theorems for the system in relation to the semantics are proved as well. There is also a justification for considering time as a factor for the logic of sortals.
KeywordsTime Temporal logic Logic of sortals Conceptualism
- Goldblatt, R. (1987). Logics of time and computation (CSLI lecture notes, Vol. 7). Stanford: CSLI Publications.Google Scholar
- Kamp, J. (1968). Tense logic and the theory of linear order. Ph.D. Thesis, University of California at Los Angeles.Google Scholar
- Thomason, R. (1984). Combinations of tense and modality. In Gabbay and Guenthner (2002) (pp. 205–234).Google Scholar