A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Logical dynamics meets logical pluralism?
2008
The Australasian Journal of Logic
Preserved Fulltext
In particular, I will argue that logical dynamics sets itself the more ambitious diagnostic goal of explaining why substructural phenomena occur, by 'deconstructing' them into classical logic plus an explicit ...
Where is logic heading today? ...
in dynamic-epistemic logic. ...
doi:10.26686/ajl.v6i0.1801
fatcat:pdhtfoo7rvbkpevfkjzihqykzu
General Dynamic Dynamic Logic
2012
Advances in Modal Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. ...
Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the definition of complex modalities. ...
We can reduce the two senses of 'dynamic' in dynamic dynamic logic to one. How, then, to define ϕ [A,G,H,a] ? ...
dblp:conf/aiml/GirardSL12
fatcat:4qxkcfpyt5e3zia4fp2mzvuija
Deterministic dynamic logic is strictly weaker than dynamic logic
1983
Information and Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
There is, however, a closed formula of nondeterministic regular dynamic logic is both valid in A t and not valid in A z. ...
There is a language L and structures A~ and A 2 for L such that, for each closed formula F of deterministic regular dynamic logic, the formula F is valid in A ~ if and only if F is valid in A 2. ...
INTRODUCTION In the papers Harel (1979) , Meyer and Winklmann (1982) , and Tiuryn (1982) there is Meyer's question: Is deterministic dynamic logic (DDL) strictly weaker than dynamic logic (DL)? ...
doi:10.1016/s0019-9958(83)80024-2
fatcat:idckkuwbjvfdzh2sjvxzrsfqpi
Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples
[article]
2002
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics are indicated. ...
A further elaboration on "intuitionistic quantum logic" emerges into a "dynamic operational quantum logic", which allows us to express dynamic reasoning in the sense that we can capture how actual properties ...
It is in this sense that passing from static operational quantum logic to dynamic operational quantum logic results in a true logic of dynamics that provides a unified logical description of systems which ...
arXiv:math/0106059v6
fatcat:5n67ws3lbrgbndd2ikygnfjmj4
Combining Equilibrium Logic and Dynamic Logic
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
logic to dynamic logic of propositional assignments. ...
Keywords: answer-set programming, here-and-there logic, equilibrium logic, propositional dynamic logic, dynamic logic of propositional assignments. ⋆ We would like to thank the three reviewers of LPNMR ...
A Dynamic Extension of HT Logic and of Equilibrium Logic In this section we propose a dynamic extension of the logic of here-and-there (HT), named D-HT. ...
doi:10.1007/978-3-642-40564-8_30
fatcat:e7hfirkthrbilpaujzp6p62y3y
Quantum logic as a dynamic logic
2010
Synthese
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic. ...
Moreover, we argue that the Dynamic-Logical perspective leads to a better and deeper understanding of the "non-classicality" of quantum behavior than any perspective based on static Propositional Logic ...
Our dynamic reinterpretation of quantum logic is thus very much in the spirit of this general "dynamic turn" in Logic. ...
doi:10.1007/s11229-010-9783-6
fatcat:iwhwt5k3xjeibobrffjk7b36l4
Dynamic epistemic logic in update logic
2016
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We show that Dynamic Epistemic Logic (DEL) is a substructural logic and that it is an extension of the update logic introduced in the companion article [12] . ...
Finally, we show that DEL with a finite number of atomic events is as expressive as epistemic logic. ...
Acknowledgements I thank Olivier Roy and Ole Hjortland for inviting me to the Munich Meeting on Sub-structural Epistemic Logic (January 2013), which was very inspiring. ...
doi:10.1093/logcom/exw002
fatcat:d3oybbznmrc2ththo7j4mx6wk4
Dynamic Epistemic Logic and Logical Omniscience
2015
Logic and Logical Philosophy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, I present a dynamic logic of knowledge that models an agent's epistemic state as it evolves over the course of reasoning. ...
I show that the logic does not sacrifice logical competence on the altar of logical non-omniscience. ...
I also compare the logic to Duc's dynamic epistemic logic. ...
doi:10.12775/llp.2015.014
fatcat:d67lhjqcajcszfu7vcwjwyy7qi
Dynamic Logics of Dynamical Systems
[article]
2012
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We explain the dynamical system models, dynamic logics of dynamical systems, their semantics, their axiomatizations, and proof calculi for proving logical formulas about these dynamical systems. ...
A dynamic logic is a first-order modal logic with a pair of parametrized modal operators for each dynamical system to express necessary or possible properties of their transition behavior. ...
The logic of discrete dynamical systems and the logic of continuous dynamical systems are fragments of the logic of hybrid systems. ...
arXiv:1205.4788v1
fatcat:2ahunsfdzfamdiwzd66m5e4wzq
Dynamic Testimonial Logic
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Our dynamic base logic is van Benthem's [12] dynamic logic of belief upgrade, which we extend with a "belief suspension" operator. ...
We introduce a dynamic testimonial logic (DTL) to model belief change over sequences of multi-agent testimony. Our static base logic is Baltag and Smets' [1] conditional doxastic logic (CDL). ...
The logics developed so far to model epistemic trust are static logics without dynamic operators, which provides another motivation for DTL as a dynamic logic of trust. ...
doi:10.1007/978-3-642-04893-7_13
fatcat:obfb3nntv5cazmiyfz6bsamgsq
Dynamic Context Logic
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. ...
We investigate the mathematical properties of the logic, and show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories. 1 The terms promulgation ...
Conclusions We have introduced and studied a dynamic logic accounting for context change, and have applied it to analyze several aspects of the dynamics of norms, viz. the dynamics of permissions, obligations ...
doi:10.1007/978-3-642-04893-7_2
fatcat:rhhuiteh3zeupotsgbg5uxkvhy
Dynamic predicate logic
1991
Linguistics and Philosophy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The resulting system is compared with ordinary predicate logic, discourse representation theory, and quantificational dynamic logic in section 4. ...
In section 3, we recapitulate our findings and formulate the dynamic semantics of predicate logic systematically, and study its logical properties. ...
doi:10.1007/bf00628304
fatcat:l72epzo2wfc7je22qp45fprjyy
FUZZY DYNAMIC LOGIC
2006
New Mathematics and Natural Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Fuzzy Logic is extended toward dynamic adaptation of the degree of fuzziness. The motivation is to explain the process of learning as joint model improvement and fuzziness reduction. ...
The paper discusses relationships to formal logic, fuzzy logic, complexity and draws tentative connections to Aristotelian theory of forms and working of the mind. ...
This paper concentrates on extending FL to Fuzzy Dynamic Logic, for shorter, Dynamic Logic (DL), which adds dynamic evolution of fuzziness to FL. ...
doi:10.1142/s1793005706000300
fatcat:vf7p6ja7kjgrlobrrthwsdnpku
Dynamic Topological Logic
[chapter]
2007
Handbook of Spatial Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. ...
Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. ...
to define trimodal dynamical topological logics: logics of dynamic topological systems. ...
doi:10.1007/978-1-4020-5587-4_10
fatcat:hhgp5mco2fg5nfu37dvd35ri6a
Adiabatic dynamic logic
1995
IEEE Journal of Solid-State Circuits
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We describe a new CMOS logic family-adiabatic dynamic logic (ADL)-that is the result of combining adiabatic theory with conventional CMOS dynamic logic. ...
AN ADIABATIC DYNAMIC LOGIC GATE
A. Conventional Dynamic Logic A conventional dynamic CMOS inverter is shown in Fig. 4 . ...
We have developed a new logic family, adiabatic dynamic logic (ADL), based on the application of adiabatic techniques slowly. ...
doi:10.1109/4.364447
fatcat:gkbbkh3tbve2dewrkefflbrjam
« Previous
Showing results 1 — 15 out of 1,175,781 results