Results 251 to 260 of about 966,425 (288)
Some of the next articles are maybe not open access.
2018
Dynamic logics have been designed by Pratt as formal systems for reasoning about computer programs. The main ingredients discussed are programs, operations on programs, states and properties of states. In particular one can formalize that every execution of a program p starting in state s terminates in a state with a given property.
openaire +1 more source
Dynamic logics have been designed by Pratt as formal systems for reasoning about computer programs. The main ingredients discussed are programs, operations on programs, states and properties of states. In particular one can formalize that every execution of a program p starting in state s terminates in a state with a given property.
openaire +1 more source
Dynamic Epistemic Temporal Logic
2009We introduce a new type of arrow in the update frames (or "action models") of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in multi-agent systems that need not be synchronous. Since van Benthem and Pacuit (later joined by Hoshi and Gerbrandy) showed that standard Dynamic Epistemic Logic necessarily ...
Renne, B., Sack, Joshua, Yap, Audrey
openaire +2 more sources
Proceedings of CICC 97 - Custom Integrated Circuits Conference, 2002
A self-timed dynamic logic family, clock-delayed (CD) domino, was developed to provide non-dual-rail gates with inverting or non-inverting outputs. CD domino circuits are as easy to synthesize as static circuits and synthesis tools developed for static CMOS are used as part of a methodology for automating the design and synthesis of dynamic circuits ...
null Gin Yee, C. Sechen
openaire +1 more source
A self-timed dynamic logic family, clock-delayed (CD) domino, was developed to provide non-dual-rail gates with inverting or non-inverting outputs. CD domino circuits are as easy to synthesize as static circuits and synthesis tools developed for static CMOS are used as part of a methodology for automating the design and synthesis of dynamic circuits ...
null Gin Yee, C. Sechen
openaire +1 more source
STRUCTURED NONSTANDARD DYNAMIC LOGIC
Mathematical Logic Quarterly, 1984A variant of nonstandard dynamic logic which restricts programs to structured ones is defined. A Hilbert-style axiomatic system is presented and the logic is compared with its standard version. The paper is, due to notation, terminology, motivation and results, closely related to the work of \textit{H. Andréka, I. Németi} and \textit{I.
openaire +1 more source
Release Logics for Temporalizing Dynamic Logic
2000Time and action are the two modalities which are combined in one logical system in this paper, in order to allow the partial specification of systems. In any composition of dynamic and temporal logic there is mutual interference. The dynamical component takes time and the temporal component should have an effect on the state space.
Krabbendam, J., Meyer, J-J.Ch.
openaire +2 more sources
Dialogue Logic as Dynamic Logic
Logique et Analyse, 2016There are several formal systems for persuasive dialogue. Dialogue systems are multi-agent systems, and this contrasts with the general lack of any agency in standard logics other than in the case of epistemic and deontic logics. Dialogue systems have been called logics.
openaire +2 more sources