Results 1 to 10 of about 966,307 (170)
Parametric Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope.
Peter Faymonville, Martin Zimmermann
doaj +10 more sources
Smart Sensorization Using Propositional Dynamic Logic [PDF]
Sensors, 2022 The current high energy prices pose a serious challenge, especially in the domestic economy. In this respect, one of the main problems is obtaining domestic hot water.
Salvador Merino +3 more
doaj +2 more sources
Indicative Conditionals and Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic.
Wesley H. Holliday, Thomas F. Icard III
doaj +3 more sources
Dynamic Cantor Derivative Logic [PDF]
Logical Methods in Computer Science, 2023 Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as $d$-logics. Unlike logics based on the topological closure operator, $d$-logics have not previously been studied in the ...
David Fernández-Duque, Yoàv Montacute
doaj +6 more sources
Visibly linear dynamic logic [PDF]
Theoretical Computer Science, 2018 We introduce Visibly Linear Dynamic Logic (VLDL), which extends Linear Temporal Logic (LTL) by temporal operators that are guarded by visibly pushdown languages over finite words. In VLDL one can, e.g., express that a function resets a variable to its original value after its execution, even in the presence of an unbounded number of intermediate ...
Weinert, Alexander, Zimmermann, Martin
openaire +10 more sources
Propositional Dynamic Logic for Message-Passing Systems [PDF]
Logical Methods in Computer Science, 2010 We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event.
Benedikt Bollig +2 more
doaj +6 more sources
Forensic Dynamic Lukasiewicz Logic [PDF]
Transactions on Fuzzy Sets and Systems, 2022 A forensic dynamic $n$-valued Lukasiewicz logic $FDL_n$ is introduced on the base of $n$-valued Lukasiewicz logic $L_n$ and corresponding to it forensic dynamic $MV_n$-algebra ($FDL_n$-algebra), $1 < n < \omega$, which are algebraic counterparts of ...
Antonio Di Nola, Revaz Grigolia
doaj +1 more source
New directions in general fuzzy automata: a dynamic-logical view [PDF]
AUT Journal of Mathematics and Computing, 2020 In the current study, by a general fuzzy automaton we aim at showing a set of propositions related to a given automaton showing that the truth-values are depended on thestates, inputs and membership values of active states at time t.
Khadijeh Abolpour +2 more
doaj +1 more source
IEEE Access, 2023 In this paper, an improved multiplier architecture, utilizing dual mode logic (DML) targeting single-instruction-multiple-data (SIMD)-like systems is proposed.
Netanel Shavit +4 more
doaj +1 more source
Sequential Dynamic Logic [PDF]
Journal of Logic, Language and Information, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bochman, Alexander, Gabbay, Dov M.
openaire +3 more sources