Two Temporal Logics of Contingency

  • Matteo Pascucci Università di Verona Universität Salzburg


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.

Author Biography

Matteo Pascucci, Università di Verona Universität Salzburg
Postdoctoral researcher, Universität Salzburg
How to Cite
PASCUCCI, Matteo. Two Temporal Logics of Contingency. The Australasian Journal of Logic, [S.l.], v. 12, n. 2, p. 121-134, dec. 2017. ISSN 1448-5052. Available at: <>. Date accessed: 23 may 2019. doi: