IRI

http://www.metaontology.pl/metaontology_populated.owl#publication_143
Label Language Type
TxW Epistemic Modality en rdfs:label

Annotations

Same Individuals

Types

Object properties

Data properties

  • first page

    • 3

  • has Bibtex metadata

    • @article{Iacona2012-IACTEM,abstract = {So far, T\texttimesW frames have been employed to provide a semanticsfor a language of tense logic that includes a modal operator thatexpresses historical necessity. The operator is defined in terms of quantificationover possible courses of events that satisfy a certain constraint,namely, that of being alike up to a given point. However, a modal operatorcan as well be defined without placing that constraint. This paper outlinesa T\texttimesW logic where an operator of the latter kind is used to expressthe epistemic property of definiteness. Section 1 provides the theoreticalbackground. Sections 2 and 3 set out the semantics. Sections 4 and 5show, drawing on established results, that there is a sound and completeaxiomatization of the logic outlined.},journal = {Logic and Philosophy of Science},volume = {10},author = {Andrea Iacona},year = {2012},pages = {3--14},title = {TxW Epistemic Modality}}@

  • has title

    • TxW Epistemic Modality

  • is published in

    • 2012

  • last page

    • 14