Results 101 to 110 of about 71,669 (311)
Bisimulations for temporal logic [PDF]
We define bisimulations for temporal logic with Since and Until. We compare our notion to existing notions of bisimulations, and we use it to develop the basic model theory of temporal logic with Since and Until, which includes preservation and ...
Kurtonina, Natasha, Rijke, Maarten de
core
, 1998 this paper, section 3, is devoted to a fairly detailed exposition of Prior's basic tense logic; the aim of this is not only to introduce the readers to this particular system, but perhaps even more to acquaint them with the kind of questions that ...
Blackwell Publishers +4 more
core
Advanced Materials, EarlyView.Fully recombinant protein‐based biomaterials execute complex Boolean logic for user‐programmable material degradation and concomitant therapeutic cargo release. Biologics, such as growth factors, can be incorporated within the crosslinkers as “drugamers”, while encapsulated cells can be released according to nested YES/OR/AND‐type logical operations ...
Murial L. Ross +3 more
wiley +1 more source
A Decidable Intuitionistic Temporal Logic [PDF]
, 2017 We introduce the logic ITL^e, an intuitionistic temporal logic based on structures (W,R,S), where R is used to interpret intuitionistic implication and S is an R-monotone function used to interpret temporal modalities.
Diéguez, Martín +3 more
core +1 more source
Intuitionistic Fuzzy Decision Tree Temporal Logic and Its Application in Engineering Decision-Making
AxiomsThis paper investigates engineering decision optimization in uncertain environments. Subject to constraints on cost and expected returns, engineering decisions optimize material input, equipment selection and process arrangement to minimize costs and ...
Xianfeng Yu +4 more
doaj +1 more source
Optoelectronic Nanofluidic Neural Networks for Ionic Computing
Advanced Materials, EarlyView.An ion‐based optoelectronic nanofluidic memristor enables neuromorphic computing in aqueous environments. With tunable ionic memory and multimodal synaptic plasticity, it realizes densely connected ionic neural networks capable of image classification, motion prediction, logic computation, and real‐time in‐sensor computing, advancing fully connected ...
Yaxin Huang +10 more
wiley +1 more source
Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL) [PDF]
, 2009 We present a natural deduction calculus for the quantified propositional linear-time temporal logic (QPTL) and prove its correctness. The system extends previous natural deduction constructions for the propositional linear-time temporal logic.
Bolotov, A., Grigoriev, O.
core
Semantic pollution and syntactic purity [PDF]
, 2015 Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus.
Read, Stephen
core +1 more source
Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications
LogicsWe present Stratified Metric Temporal Logic (SMTL), a novel formalism for specifying and verifying the properties of complex cyber–physical systems that exhibit behaviors across multiple temporal and abstraction scales.
Ali Baheri, Peng Wei
doaj +1 more source
Journal of Symbolic Computation, 1989 To exploit efficient temporal proof techniques, a special programming language, TEMPLOG, is proposed. It extends the classical PROLOG-like languages to include temporal operators. TEMPLOG programs will then be collections of ``temporal'' Horn clauses and, the main idea, they will be interpreted with the help of ``temporal'' SLD-resolution.
Martín Abadi, Zohar Manna
openaire +1 more source