Results 1 to 10 of about 92,710 (270)
Satisfiability Games for Branching-Time Logics [PDF]
Logical Methods in Computer Science, 2013 The satisfiability problem for branching-time temporal logics like CTL*, CTL and CTL+ has important applications in program specification and verification. Their computational complexities are known: CTL* and CTL+ are complete for doubly exponential time,
Oliver Friedmann +2 more
doaj +4 more sources
First-Order and Temporal Logics for Nested Words [PDF]
Logical Methods in Computer Science, 2008 Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure of parse trees and other tree-structured data, such as XML.
Rajeev Alur +5 more
doaj +16 more sources
A decidable weakening of Compass Logic based on cone-shaped cardinal directions [PDF]
Logical Methods in Computer Science, 2015 We introduce a modal logic, called Cone Logic, whose formulas describe properties of points in the plane and spatial relationships between them. Points are labelled by proposition letters and spatial relations are induced by the four cone-shaped cardinal
Angelo Montanari +2 more
doaj +7 more sources
Wreath Products of Forest Algebras, with Applications to Tree Logics [PDF]
Logical Methods in Computer Science, 2012 We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics.
Mikolaj Bojanczyk +2 more
doaj +5 more sources
Modal Logics of Topological Relations [PDF]
Logical Methods in Computer Science, 2006 Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI.
Carsten Lutz, Frank Wolter
doaj +4 more sources
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics [PDF]
, 2019 We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as
Kees van Berkel, Tim Lyon
openalex +7 more sources
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership [PDF]
Logical Methods in Computer Science, 2020 We study two extensions of FO2[
Andreas Krebs +3 more
doaj +4 more sources
The Logic of Khārijī Propositions [PDF]
حکمت سینوی, 2023 There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions.
Asadollah Fallahi
doaj +1 more source
Timed Context-Free Temporal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free ...
Laura Bozzelli +2 more
doaj +1 more source
Deterministic Temporal Logics and Interval Constraints [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In temporal logics, a central question is about the choice of modalities and their relative expressive power, in comparison to the complexity of decision problems such as satisfiability.
Kamal Lodaya, Paritosh K. Pandya
doaj +1 more source