Results 51 to 60 of about 71,669 (311)
On Syntactical Simplification of Temporal Operators in Negation-Free Metric Temporal Logic
MathematicsTemporal reasoning in dynamic, data-intensive environments increasingly demands expressive yet tractable logical frameworks. Traditional approaches often rely on negation to express absence or contradiction.
Mathijs van Noort +2 more
doaj +1 more source
Temporal Logics for Hyperproperties [PDF]
, 2014 Two new logics for verification of hyperproperties are proposed. Hyperproperties characterize security policies, such as noninterference, as a property of sets of computation paths. Standard temporal logics such as LTL, CTL, and CTL* can refer only to a single path at a time, hence cannot express many hyperproperties of interest.
Michael R. Clarkson +5 more
openaire +2 more sources
Soft Mechanical‐Electrical Logic Using Liquid Metal‐Filled 3D‐Printed Architectures
Advanced Engineering Materials, EarlyView.We present 3D‐printed soft mechanical–electrical logic elements that use liquid metal–filled silicone tubes actuated by thermoplastic polyurethane/polylactic acid (TPU/PLA) architectures to produce Boolean operations. Complementary normally open and normally closed unit cells perform repeatable binary transitions and can be combined into more complex ...
Christoph Lehmann +2 more
wiley +1 more source
Automating natural deduction for temporal logic [PDF]
, 2007 We present our recent work on the construction of natural deduction calculi for temporal logic. We analyse propositional linear-time temporal logic (PLTL) and Computation Tree Logic (CTL) and corresponding proof searching algorithms.
Bolotov, A., Grigoriev, O., Shangin, V.
core
Modeling Patient Flows: A Temporal Logic Approach [PDF]
, 2018 Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modeling techniques used in healthcare, such as flowcharts, unified modeling language activity diagram (UML AD), and business process modeling ...
Chaussalet, T.J. +2 more
core +1 more source
Towards an algebrization of a linear temporal logic
CQD Revista Eletrônica Paulista de MatemáticaThe subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas +2 more
doaj +1 more source
Temporal Analysis and Classification of Sensor Signals
Sensors, 2023 Understanding the behaviour of sensors, and in particular, the specifications of multisensor systems, are complex problems. The variables that need to be taken into consideration include, inter alia, the application domain, the way sensors are used, and ...
Piotr Kosiuczenko
doaj +1 more source
CoRR, 2013 A new logic for verification of security policies is proposed. The logic, HyperLTL, extends linear-time temporal logic (LTL) with connectives for explicit and simultaneous quantification over multiple execution paths, thereby enabling HyperLTL to express information-flow security policies that LTL cannot.
Masoud Koleini +2 more
openaire +2 more sources
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source
Quantified temporal alethic-deontic logic [PDF]
, 2015 The purpose of this paper is to describe a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal alethicdeontic logic with predicate logic.
Rönnedal, Daniel,
core +1 more source