Results 61 to 70 of about 83,510 (168)

Fuzzy Linear Temporal Logic with Quality Constraints

Mathematics
As an extension of quantitative temporal logic, uncertain temporal logic essentially describes the temporal behavior of uncertain and incomplete systems, thus better solving search and decision-making problems in such systems. Fuzzy linear temporal logic
Xianfeng Yu, Yongming Li, Shengling Geng
doaj   +1 more source

Method of marks for propositional linear temporal logic

Lietuvos Matematikos Rinkinys, 2014
It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj   +1 more source

Quantum Logic in the Framework of Linear Logic

Annals of the Japan Association for Philosophy of Science, 1996
This paper gives a formal system for quantum logic (= the logic of orthomodular lattices) as an extension of Girard's linear logic. Quantum phase spaces are introduced as an extension of Girard's phase spaces, and the author's formal system is shown to be sound with respect to these semantical structures.
openaire   +3 more sources

On Linear Logic Planning and Concurrency

Information and Computation, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

Axioms and models of linear logic [PDF]

Formal Aspects of Computing, 1990
Abstract Girard's recent system of linear logic is presented in a way that avoids the two-level structure of formulae and sequents, and that minimises the number of primitive function symbols. A deduction theorem is proved concerning the classical implication as embedded in linear logic.
openaire   +3 more sources

Grouping based calculus for propositional linear temporal logic

Lietuvos Matematikos Rinkinys
In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj   +1 more source

End-to-End Path Planning Under Linear Temporal Logic Specifications

IEEE Access
This paper presents a novel deep learning framework for robotic path planning that seamlessly integrates Linear Temporal Logic (LTL) with trajectory optimization to meet mission specifications efficiently. Our approach innovates on several fronts: First,
Chaeeun Yang, Sojeong Yoon, Kyunghoon Cho   +2 more
doaj   +1 more source

Computational interpretations of linear logic

Theoretical Computer Science, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Intrusion detection system episteme

Open Computer Science, 2012
Mihályi Daniel, Novitzká Valerie, Ľaľová Martina   +2 more
doaj   +1 more source

Logic-dynamic approach to fault diagnosis in mechatronic systems

International Journal of Advanced Robotic Systems, 2008
This paper presents a problem of fault detection and isolation (FDI) in mechatronic systems described by nonlinear dynamic models with such types of no differentiable nonlinearities as saturation, Coulomb friction, backlash, and hysteresis. To solve this
A. N. Zhirabok, V. F. Filaretov
doaj