"Necessary for"

Corsi, Giovanna (2009) "Necessary for". DOI 10.6092/unibo/amsacta/3741. In: Logic, Methodology and Philosophy of Science. Proceedings of the Thirteenth International Congress. A cura di: Glymour, Clark ; Wang, Wei ; Westerstaehl, Dag. London: King's College Publications, pp. 162-184.
Full text disponibile come:
[thumbnail of Corsi_Necessary_for.pdf]
Anteprima
Documento PDF
Licenza: Creative Commons Attribution Non-commercial 3.0 (CC BY-NC 3.0)

Download (352kB) | Anteprima

Abstract

A new language for quantified modal logic is presented in which the modal operators are indexed by terms : “it is necessary for t1, . . . , tn”. Systems of quantified modal logic are defined in that language and shown to be complete with respect to transition semantics. Formulas such as the Barcan formula, the Ghilardi formula, the necessity of identity can be expressed in a natural way in the new language and are shown to correspond to particular properties of the transition relation.

Abstract
Tipologia del documento
Estratto da libro
Autori
AutoreAffiliazioneORCID
Corsi, Giovanna
Parole chiave
quantified modal logic indexed modalities transiction semantics
Settori scientifico-disciplinari
DOI
Data di deposito
12 Set 2013 11:03
Ultima modifica
01 Ott 2013 10:14
URI

Altri metadati

Statistica sui download

Statistica sui download

Gestione del documento: Visualizza il documento

^