DeepAI AI Chat
Log In Sign Up

Complete Intuitionistic Temporal Logics in Topological Dynamics

10/02/2019
by   Joseph Boudou, et al.
0

The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ITL^ c_,∀, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/01/2023

Cantor Derivative Logic in Topological Dynamics

Topological semantics for modal logic based on the Cantor derivative ope...
12/24/2019

Action Logic is Undecidable

Action logic is the algebraic logic (inequational theory) of residuated ...
09/01/2018

Linear Temporal Justification Logics with Past Operators

In this paper we present various temporal justification logics involving...
02/01/2021

The Complexity of Learning Linear Temporal Formulas from Examples

In this paper we initiate the study of the computational complexity of l...
05/27/2011

A Temporal Description Logic for Reasoning about Actions and Plans

A class of interval-based temporal languages for uniformly representing ...
07/15/2020

Tractable Fragments of Temporal Sequences of Topological Information

In this paper, we focus on qualitative temporal sequences of topological...