Results 11 to 20 of about 294,052 (285)
Intuitionistic Linear Temporal Logics [PDF]
ACM Transactions on Computational Logic, 2019 We consider intuitionistic variants of linear temporal logic with “next,” “until,” and “release” based on expanding posets : partial orders equipped with an order-preserving transition function. This class of structures gives rise to a logic that we denote ITL e , and by imposing additional ...
Philippe Balbiani +3 more
openaire +4 more sources
Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic
Systems, 2023 In the context of reinforcement learning (RL), ensuring both safety and performance is crucial, especially in real-world scenarios where mistakes can lead to severe consequences.
Ryeonggu Kwon, Gihwon Kwon
doaj +1 more source
Standpoint Linear Temporal Logic
Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023 Many complex scenarios require the coordination of agents holding different points of view, possibly cooperating and not necessarily agreeing. For this reason, standpoint logic (SL) has been recently introduced in the context of knowledge integration, allowing one to reason with diverse and potentially conflicting viewpoints held by different agents ...
Gigante, Nicola +2 more
openaire +2 more sources
Defeasible linear temporal logic
Journal of Applied Non-Classical Logics, 2023 After the seminal work of Kraus, Lehmann and Magidor (formally known as the KLM approach) on conditionals and preferential models, many aspects of defeasibility in more complex formalisms have been studied in recent years. Examples of these aspects are the notion of typicality in description logic and defeasible necessity in modal logic.
Chafik, Anasse +3 more
openaire +3 more sources
Temporal Logic Planning and Receding Horizon Control for Signal Source Localization
Applied Sciences, 2022 This article copes with signal source localization by employing a receding horizon control approach with temporal logic planning in the light of a single mobile robot.
Xingtong Chen +3 more
doaj +1 more source
Linear-time Temporal Logic with Event Freezing Functions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Formal properties represent a cornerstone of the system-correctness proofs based on formal verification techniques such as model checking. Formalizing requirements into temporal properties may be very complex and error prone, due not only to the ...
Stefano Tonetta
doaj +1 more source
The Complexity of Generalized Satisfiability for Linear Temporal Logic [PDF]
Logical Methods in Computer Science, 2009 In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used.
Michael Bauland +4 more
doaj +1 more source
Automata Linear Dynamic Logic on Finite Traces [PDF]
Logical Methods in Computer ScienceTemporal logics are widely used by the Formal Methods and AI communities. Linear Temporal Logic is a popular temporal logic and is valued for its ease of use as well as its balance between expressiveness and complexity.
Kevin W. Smith, Moshe Y. Vardi
doaj +1 more source
Incompleteness of a first-order Gödel logic and some temporal logics of programs [PDF]
, 1996 It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant ...
Baaz, Matthias +2 more
core +2 more sources
A Gödel Calculus for Linear Temporal Logic
Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning, 2022 We consider GTL, a variant of linear temporal logic based on Gödel-Dummett propositional logic. In recent work, we have shown this logic to enjoy natural semantics both as a fuzzy logic and as a superintuitionistic logic. Using semantical methods, the logic was shown to be PSPACE-complete. In this paper we provide a deductive calculus for GTL, and show
Aguilera, J. P. +3 more
openaire +3 more sources