So far, TW frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is dened in terms of quantication over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be dened without placing that constraint. This paper outlines a TW logic where an operator of the latter kind is used to express the epistemic property of deniteness. §1 provides the theoretical background. §2 and §3 set out the semantics. §4 and §5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined.
TxW Epistemic Modality
IACONA, Andrea
2012-01-01
Abstract
So far, TW frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is dened in terms of quantication over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be dened without placing that constraint. This paper outlines a TW logic where an operator of the latter kind is used to express the epistemic property of deniteness. §1 provides the theoretical background. §2 and §3 set out the semantics. §4 and §5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined.File | Dimensione | Formato | |
---|---|---|---|
TxW Epistemic Modality.pdf
Accesso aperto
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
161.42 kB
Formato
Adobe PDF
|
161.42 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.