Search
Search Results
-
Specification of time in Tichý’s transparent intensional logic and Prior’s temporal logic
In his paper ‘The logic of temporal discourse’, Pavel Tichý pointed out that contemporary systems of logic were unable to sufficiently formalise...
-
Detecting bots with temporal logic
Social bots are computer programs that act like human users on social media platforms. Social bot detection is a rapidly growing field dominated by...
-
Linear Temporal Logic Specification of Bounded Counter Machines
AbstractThis article revises the results of work devoted to representing the behavior of a program system as a set of formulae of linear temporal...
-
A Logic of Temporal Contingency
We propose a logic of temporal contingency, which has operators of past and future contingency as primitive modalities. This logic is less expressive...
-
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style semantics for propositional until-free linear-time temporal...
-
A tractable temporal description logic for reasoning fuzzy spatiotemporal knowledge
Fuzzy spatiotemporal reasoning is extensively used in various application fields such as Geographic Information Systems, Geospatial Artificial...
-
Mining of extended signal temporal logic specifications with ParetoLib 2.0
Cyber-physical systems are complex environments that combine physical devices (i.e., sensors and actuators) with a software controller. The ubiquity...
-
Alternating Projection Temporal Epistemic Logic
Model checking is an automatic technique used to verify the properties of software and hardware systems. In the verification process,the key problem... -
A Temporal Logic for Programmable Logic Controllers
Abstract—We investigate the formal verification of the control software of critical systems, i.e., the verification of the compliance of the designed...
-
A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons
We combine linear temporal logic (with both past and future modalities) with a deontic version of justification logic to provide a framework for...
-
A Temporal Logic for Successive Events
A succession of events is a sequence of events such that after one event is finished, the next one occurs successively. In this paper, we extended... -
-
Linear Temporal Public Announcement Logic: A New Perspective for Reasoning About the Knowledge of Multi-classifiers
In this paper, a formal transition system model is presented called Linear Temporal Public Announcement Logic (LTPAL) to extract knowledge in a...
-
Map** natural language procedures descriptions to linear temporal logic templates: an application in the surgical robotic domain
Natural language annotations and manuals can provide useful procedural information and relations for the highly specialized scenario of autonomous...
-
A Dual-Layer Network Deep Reinforcement Learning Algorithm for Multi-objective Signal Temporal Logic Tasks
The path planning strategies of multi-objective tasks for autonomous agents are applied more and more widely in the areas of resource exploration,...
-
Controller synthesis for linear temporal logic and steady-state specifications
The problem of deriving decision-making policies, subject to some formal specification of behavior, has been well-studied in the control synthesis,...
-
Loop-Check Specification for a Sequent Calculus of Temporal Logic
In our previous work we have introduced loop-type sequent calculi for propositional linear discrete tense logic and proved that these calculi are...
-
Revising System Specifications in Temporal Logic
Although formal system verification has been around for many years, little attention was given to the case where the specification of the system has...
-
Linear Temporal Logic
Linear Temporal Logic (LTL) is a temporal logic commonly used to specify temporal properties of programs, and is particularly well suited as a logic... -
Functional System Properties in Temporal Logic
In the previous chapter, we have seen how we can define a formal model of a system that we want to reason about. This chapter discusses how we can...