Linear Temporal Justification Logics with Past Operators

09/01/2018
by   Meghdad Ghari, et al.
0

In this paper we present various temporal justification logics involving both past and future time modalities. We combine Artemov's logic of proofs with linear temporal logic (with both past and future operators), and establish its soundness and completeness. Then we investigate several principles describing the interaction of justification and time.

READ FULL TEXT
research
10/02/2019

Complete Intuitionistic Temporal Logics in Topological Dynamics

The language of linear temporal logic can be interpreted over the class ...
research
04/19/2023

The Krohn-Rhodes Logics

We present a new family of modal temporal logics of the past, obtained b...
research
07/02/2015

The Elusive Present: Hidden Past and Future Dependency and Why We Build Models

Modeling a temporal process as if it is Markovian assumes the present en...
research
08/27/2018

Robust, Expressive, and Quantitative Linear Temporal Logics

Linear Temporal Logic (LTL) is the standard specification language for r...
research
03/14/2018

Bisimulations for intuitionistic temporal logics

We introduce bisimulations for the logic ITL^e with `next', `until' and ...
research
09/17/2021

Expressiveness of Extended Bounded Response LTL

Extended Bounded Response LTL with Past (LTLEBR+P) is a safety fragment ...
research
12/30/2019

Intuitionistic Linear Temporal Logics

We consider intuitionistic variants of linear temporal logic with `next'...

Please sign up or login with your details

Forgot password? Click here to reset