1,175,781 Hits in 4.8 sec

Logical dynamics meets logical pluralism?

Johan Van Benthem
2008 The Australasian Journal of Logic  
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

Patrick Girard, Jeremy Seligman, Fenrong Liu
2012 Advances in Modal Logic  
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

A.P. Stolboushkin, M.A. Taitslin
1983 Information and Control  
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]

Bob Coecke, David J. Moore, Sonja Smets
2002 arXiv   pre-print
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]

Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
2013 Lecture Notes in Computer Science  
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

Alexandru Baltag, Sonja Smets
2010 Synthese  
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

Guillaume Aucher
2016 Journal of Logic and Computation  
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

Mattias Skipper Rasmussen
2015 Logic and Logical Philosophy  
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]

André Platzer
2012 arXiv   pre-print
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]

Wesley H. Holliday
2009 Lecture Notes in Computer Science  
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]

Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
2009 Lecture Notes in Computer Science  
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

Jeroen Groenendijk, Martin Stokhof
1991 Linguistics and Philosophy  
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


2006 New Mathematics and Natural Computation  
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]

Philip Kremer, Grigori Mints
2007 Handbook of Spatial Logics  
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

A.G. Dickinson, J.S. Denker
1995 IEEE Journal of Solid-State Circuits  
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