Abstract:Temporal reasoning with conditionals is more complex than both classical temporal reasoning and reasoning with timeless conditionals, and can lead to some rather counter-intuitive conclusions. For instance, Aristotle's famous "Sea Battle Tomorrow" puzzle leads to a fatalistic conclusion: whether there will be a sea battle tomorrow or not, but that is necessarily the case now. We propose a branching-time logic LTC to formalise reasoning about temporal conditionals and provide that logic with adequate formal semantics. The logic LTC extends the Nexttime fragment of CTL*, with operators for model updates, restricting the domain to only future moments where antecedent is still possible to satisfy. We provide formal semantics for these operators that implements the restrictor interpretation of antecedents of temporalized conditionals, by suitably restricting the domain of discourse. As a motivating example, we demonstrate that a naturally formalised in our logic version of the `Sea Battle' argument renders it unsound, thereby providing a solution to the problem with fatalist conclusion that it entails, because its underlying reasoning per cases argument no longer applies when these cases are treated not as material implications but as temporal conditionals. On the technical side, we analyze the semantics of LTC and provide a series of reductions of LTC-formulae, first recursively eliminating the dynamic update operators and then the path quantifiers in such formulae. Using these reductions we obtain a sound and complete axiomatization for LTC, and reduce its decision problem to that of the modal logic KD.

Temporal Logic Representation Schema for Intermediate Function

Building Hybrid Real-Time Model in Water Industry Systems

Logical relationship representation and model transformation in complex project scheduling

Modeling of Functional Construction Requirements for Constructability Analysis

Spatio-temporal analysis for improving constructability of transportation projects

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems

Component State Criteria Representation to Incorporate Construction Program Knowledge for Constructability Analysis

Temporal Logic Based Description Model for Computer Supported Cooperative Work Systems

Satisfiability Degree Computation for Linear Temporal Logic.

Temporal Logic Based Description Model For Cscw System

Standpoint Linear Temporal Logic

Temporal Modules

Temporal Logic Coordination Models

A Framework for Natural Language Interfaces to Temporal Databases

Detection Of Spatio-Temporal Conflicts On A Temporal 3d Space System

Metric Temporal Equilibrium Logic over Timed Traces

Requirement and Availability Time-Window Analysis of Intermediate Function

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

Metric Dynamic Equilibrium Logic

A Scenario-Based Case Representation Model in Spatio-Temporal Framework.

A logic for temporal conditionals and a solution to the Sea Battle Puzzle