Combination of tense and modality for predicate logic.

Autor:	Wolfl, Stefan
Předmět:	PREDICATE (Logic) TENSE (Logic) MODAL logic
Zdroj:	Journal of Philosophical Logic; Aug99, Vol. 28 Issue 4, p371, 27p
Abstrakt:	Discusses combinations of tense and modality for predicate logic. Questions of whether or not the ordering of time is world-independent or not; Kamp-semantics; TxW-semantics.
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu Full text from SpringerLink