Two Temporal Logics of Contingency

Authors

  • Matteo Pascucci Università di Verona Universität Salzburg

DOI:

https://doi.org/10.26686/ajl.v12i2.4140

Abstract

This work concerns the use of operators for past and future con-
tingency in Priorean temporal logic. We will develop a system named
Ct, whose language includes a propositional constant and prove that
(i) Ct is complete with respect to a certain class of general frames and
(ii) the usual operators for past and future necessity are denable in
such system. Furthermore, we will introduce the extension Ctlin that
can be interpreted on linear and transitive general frames. The theo-
retical result of the current work is that contingency can be treated
as a primitive notion in reasoning about temporal modalities.

Downloads

Download data is not yet available.

Author Biography

Matteo Pascucci, Università di Verona Universität Salzburg

Postdoctoral researcher, Universität Salzburg

Downloads

Published

2017-12-19