Results 41 to 50 of about 83,510 (168)
Linear Temporal Logic-based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence, 2016 In this paper, we describe the Linear Temporal Logic-based reactive motion planning. We address the problem of motion planning for mobile robots, wherein the goal specification of planning is given in complex environments.
Anil Kumar, Rahul Kala
doaj +1 more source
On the Lambek Calculus with an Exchange Modality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing the existence of the exchange structural rule.
Jiaming Jiang +2 more
doaj +1 more source
Undecidability of Multiplicative Subexponential Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Subexponential logic is a variant of linear logic with a family of exponential connectives—called subexponentials—that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening and contraction.
Kaustuv Chaudhuri
doaj +1 more source
Linear Logic Properly Displayed
ACM Transactions on Computational Logic, 2023 We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut elimination and subformula property. Based on the same design, we introduce a variant of Lambek calculus with exponentials, aimed at capturing the controlled ...
Giuseppe Greco 0001 +1 more
openaire +3 more sources
Two-Variable Logic with Two Order Relations [PDF]
Logical Methods in Computer Science, 2012 It is shown that the finite satisfiability problem for two-variable logic over structures with one total preorder relation, its induced successor relation, one linear order relation and some further unary relations is EXPSPACE-complete.
Thomas Schwentick, Thomas Zeume
doaj +1 more source
Simulating Linear Logic in 1-Only Linear Logic
CoRR, 2017 Here is a copy of CNRS, Laboratoire de Mathematiques Discretes Pretirage no 94-02 January 28 ...
openaire +2 more sources
Constructing Fully Complete Models of Multiplicative Linear Logic [PDF]
Logical Methods in Computer Science, 2015 The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan double glueing
Andrea Schalk, Hugh Paul Steele
doaj +1 more source
An Infinitary Model of Linear Logic [PDF]
, 2015 Accepted at Fossacs ...
Charles Grellois, Paul-André Melliès
openaire +2 more sources
Object calculi in linear logic [PDF]
Journal of Logic and Computation, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bugliesi, Michele +3 more
openaire +6 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