Advanced

Ceteris paribus modalities and the future contingents problem

Proietti, Carlo LU (2009) In Logics for Dynamics of Information and Preferences. p.304-325
Abstract
This paper presents two systems of temporal logic, \Lambda_{CPT} and \Lambda_{CPT@}, with ceteris paribus modalities. The principal aim is to show how this approach can be useful to give an ockhamist solution to the future contingents problem along the same lines of A. Prior. The interest of this work lies also in the fact that \Lambda_{CPT@} represents an alternative modal account of supervaluationist and post-semantics approaches to temporal reasoning.
Please use this url to cite or link to this publication:
author
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
temporal logic, ceteris paribus, time, determinism
in
Logics for Dynamics of Information and Preferences.
editor
Kurzen, Lena; Velasquez Quesada, Fernando; and
pages
304 - 325
publisher
Institute for Logic, Language and Computation, Universiteit van Amsterdam
ISBN
978-90-5776-199-7
language
English
LU publication?
no
id
f257e1d6-2a82-4743-baa8-6e92f44e0dee (old id 1969424)
date added to LUP
2011-05-25 16:41:22
date last changed
2016-06-29 09:04:47
@inbook{f257e1d6-2a82-4743-baa8-6e92f44e0dee,
  abstract     = {This paper presents two systems of temporal logic, \Lambda_{CPT} and \Lambda_{CPT@}, with ceteris paribus modalities. The principal aim is to show how this approach can be useful to give an ockhamist solution to the future contingents problem along the same lines of A. Prior. The interest of this work lies also in the fact that \Lambda_{CPT@} represents an alternative modal account of supervaluationist and post-semantics approaches to temporal reasoning.},
  author       = {Proietti, Carlo},
  editor       = {Kurzen, Lena and Velasquez Quesada, Fernando},
  isbn         = {978-90-5776-199-7},
  keyword      = {temporal logic,ceteris paribus,time,determinism},
  language     = {eng},
  pages        = {304--325},
  publisher    = {Institute for Logic, Language and Computation, Universiteit van Amsterdam},
  series       = {Logics for Dynamics of Information and Preferences.},
  title        = {Ceteris paribus modalities and the future contingents problem},
  year         = {2009},
}