"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 available as:
[img]
Preview
PDF
License: Creative Commons Attribution Non-commercial

Download (352kB) | Preview

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
Document type
Book Section
Creators
CreatorsAffiliationORCID
Corsi, Giovanna
Keywords
quantified modal logic indexed modalities transiction semantics
Subjects
DOI
Deposit date
12 Sep 2013 11:03
Last modified
01 Oct 2013 10:14
URI

Other metadata

Downloads

Downloads

Staff only: View the document

^