The dynamic turn in quantum logic.
In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the 'dynamic turn' in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the logic...
| Published in: | Synthese Vol. 186; no. 3; pp. 753 - 774 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Published: |
Springer Nature
May2012
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=76632561&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 76632561 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: May2012 vid: 186 iid: 3 pid: 237 pub: Springer Nature artinfo: ui: 76632561 10.1007/s11229-011-9915-7 ppf: 753 ppct: 21 formats: fmt: @attributes: type: P size: 247KB tig: atl: The dynamic turn in quantum logic. aug: au: Baltag, Alexandru Smets, Sonja affil: Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam The Netherlands su: Logic Formalism (Literary analysis) Physics Quantum logic Mathematical logic sug: subj: Logic Formalism (Literary analysis) Physics Quantum logic Mathematical logic keyword: Dynamic quantum logic Logical dynamics Logical foundations of physics Operational quantum logic Quantum information ab: In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the 'dynamic turn' in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the logical foundations of Quantum Physics, and in particular the area known as Operational Quantum Logic, as developed by Jauch and Piron (Helve Phys Acta 42:842-848, ), Piron (Foundations of Quantum Physics, ). By bringing these areas together we explain the basic ingredients of Dynamic Quantum Logic, a new direction of research in the logical foundations of physics. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2012. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2012 holdings: @attributes: islocal: N |
|---|