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.
2012
10
1
3
14
http://www2.units.it/episteme/L&PS_Vol10No1/L&PS_Vol10No1_2012_Iacona.pdf
Andrea Iacona
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/127524
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact