Two temporal logics of contingency

MaRDI QIDQ3466630zbMATH OpenFDO

Authors Matteo Pascucci

Publication date 1 February 2016

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/2133/3417

zbMATH Keywords

contingencyPriorean temporal logictemporal modalities

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 3855066
• On the Priorean temporal logic with \([d]\) over the real line
• On the Priorean temporal logic with `around now' over the real line
• The temporal logic of branching time
• scientific article; zbMATH DE number 1749195

Cited in

(8)

• On the characterizability of the frames for the ``unpreventability of the present and the past
• Bimodal logic with contingency and accident: bisimulation and axiomatizations
• A unified logic for contingency and accident
• Temporal necessity and the conditional
• Bimodal fragments of contingency logics
• A logic for temporal conditionals and a solution to the sea battle puzzle
• Future contingencies and the arrow and flow of time in a non-deterministic world according to the temporal-modal system TM
• A logic of temporal contingency

This page was built for publication: Two temporal logics of contingency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3466630)