Results 1 to 10 of about 2,329,578 (354)
DNA Strand-Displacement Temporal Logic Circuits. [PDF]
J Am Chem Soc, 2022 Molecular circuits capable of processing temporal information are essential for complex decision making in response to both the presence and history of a molecular environment.
Lapteva AP, Sarraf N, Qian L.
europepmc +2 more sources
Temporal Justification Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms.
Samuel Bucheli +2 more
doaj +7 more sources
A Temporal Logic for Asynchronous Hyperproperties [PDF]
International Conference on Computer Aided Verification, 2021 Hyperproperties are properties of computational systems that require more than one trace to evaluate, e.g., many information-flow security and concurrency requirements. Where a trace property defines a set of traces, a hyperproperty defines a set of sets
Jan Baumeister +4 more
semanticscholar +5 more sources
Indeterministic Temporal Logic [PDF]
Studies in Logic, Grammar and Rhetoric, 2015 The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea ...
Trzęsicki Kazimierz
doaj +3 more sources
Transfer of Temporal Logic Formulas in Reinforcement Learning. [PDF]
IJCAI (U S), 2019 Transferring high-level knowledge from a source task to a target task is an effective way to expedite reinforcement learning (RL). For example, propositional logic and first-order logic have been used as representations of such knowledge.
Xu Z, Topcu U.
europepmc +3 more sources
Backdoors for Linear Temporal Logic. [PDF]
Algorithmica, 2019 In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. We study the parameterized complexity of the satisfiability problem parameterized by the size of the backdoor.
Meier A +3 more
europepmc +8 more sources
A modal logic with temporal variables. [PDF]
Notre Dame Journal of Formal Logic, 1978 There appear thus far to have been five general methods suggested in the literature for formalizing indeterministic tense-modal logics. The first consists in the introduction of a third truth-value, but this has the absurb consequence that the law of non-contradiction must be denied since the conjunction of any two propositions having the indeterminate
Tobias R. Chapman
openalex +4 more sources
A population-based temporal logic gate for timing and recording chemical events. [PDF]
Mol Syst Biol, 2016 Engineered bacterial sensors have potential applications in human health monitoring, environmental chemical detection, and materials biosynthesis. While such bacterial devices have long been engineered to differentiate between combinations of inputs ...
Hsiao V +3 more
europepmc +2 more sources
Automatic verification of finite-state concurrent systems using temporal logic specifications [PDF]
ACM Transactions on Programming Languages and Systems, 1986 E. M. Clarke +2 more
openalex +2 more sources
Multi-agent Motion Planning from Signal Temporal Logic Specifications [PDF]
IEEE Robotics and Automation Letters, 2022 We tackle the challenging problem of multi-agent cooperative motion planning for complex tasks described using signal temporal logic (STL), where robots can have nonlinear and nonholonomic dynamics.
Dawei Sun +3 more
semanticscholar +1 more source