Cover Image

Linear Temporal Justification Logics with Past Operators

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ghari, Meghdad
Format:	Preprint
Published:	2018
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Justification Logics in a Fuzzy Setting
by: Ghari, Meghdad
Published: (2014)

Justification logics with counterfactual and relevant conditionals
by: Ghari, Meghdad
Published: (2025)

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
by: Ghari, Meghdad
Published: (2021)

Algebraic Semantics for the Logic of Proofs
by: Parsa, Amir Farahmand, et al.
Published: (2021)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

A Logic of Knowledge and Justifications, with an Application to Computational Trust
by: Genco, Francesco A.
Published: (2024)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
by: Nemati, Hamed, et al.
Published: (2025)

Unifying Graded Linear Logic and Differential Operators
by: Breuvart, Flavien, et al.
Published: (2024)

Semantics for Linear-time Temporal Logic with Finite Observations
by: Amjad, Rayhana, et al.
Published: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
by: Aghamov, Rajab, et al.
Published: (2025)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
by: Artale, Alessandro, et al.
Published: (2022)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

Guarded Successor: A Novel Temporal Logic
by: Asor, Ohad
Published: (2024)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
by: Melani, Beatrice, et al.
Published: (2025)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

Efficient Normalization of Linear Temporal Logic
by: Esparza, Javier, et al.
Published: (2023)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
by: Bozkurt, Alper Kamil, et al.
Published: (2020)

Skolemisation for Intuitionistic Linear Logic
by: Bruni, Alessandro, et al.
Published: (2024)

Multi-Property Temporal Logic Monitoring
by: Demir, Arınç, et al.
Published: (2026)

Cumulative-Time Signal Temporal Logic
by: Chen, Hongkai, et al.
Published: (2025)

Synchronous Team Semantics for Temporal Logics
by: Krebs, Andreas, et al.
Published: (2024)

Goedel Logics: On the Elimination of The Absoluteness Operator
by: Baaz, Matthias, et al.
Published: (2026)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
by: Lindenhovius, Bert, et al.
Published: (2025)

On the role of connectivity in Linear Logic proofs
by: Di Donna, Raffaele, et al.
Published: (2025)

Undecidability of Linear Logics without Weakening
by: Suzuki, Jun, et al.
Published: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

Reelay: Online Temporal Logic Monitoring Framework
by: Ulus, Dogan
Published: (2026)

On Translating Epistemic Operators in a Logic of Awareness
by: Kubono, Yudai
Published: (2026)

From Differential Linear Logic to Coherent Differentiation
by: Ehrhard, Thomas
Published: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2024)

Automata Linear Dynamic Logic on Finite Traces
by: Smith, Kevin W., et al.
Published: (2021)

A Categorical Semantics for Linear Logical Frameworks
by: Vákár, Matthijs
Published: (2015)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)