001454682 000__ 04690cam\a22005417a\4500
001454682 001__ 1454682
001454682 003__ OCoLC
001454682 005__ 20230314003223.0
001454682 006__ m\\\\\o\\d\\\\\\\\
001454682 007__ cr\un\nnnunnun
001454682 008__ 230218s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001454682 019__ $$a1370486450
001454682 020__ $$a9783031266225
001454682 020__ $$a3031266226
001454682 0247_ $$a10.1007/978-3-031-26622-5$$2doi
001454682 035__ $$aSP(OCoLC)1370495526
001454682 040__ $$aEBLCP$$beng$$cEBLCP$$dGW5XE$$dYDX$$dEBLCP
001454682 049__ $$aISEA
001454682 050_4 $$aQA76.9.L63
001454682 08204 $$a005.101/5113$$223/eng/20230221
001454682 1112_ $$aDaLí (International Workshop)$$n(4th :$$d2022 :$$cOnline)
001454682 24510 $$aDynamic logic : new trends and applications :$$b4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers /$$cCarlos Areces, Diana Costa, editors.
001454682 260__ $$aCham, Switzerland :$$bSpringer,$$c2023.
001454682 300__ $$a1 online resource (xx, 155 pages) :$$billustrations.
001454682 4901_ $$aLecture notes in computer science ;$$v13780
001454682 500__ $$aIncludes author index.
001454682 5050_ $$aIntro -- Preface -- Organization -- Contents -- First Steps in Updating Knowing How -- 1 Introduction -- 2 Basic Definitions -- 3 Dynamic Knowing How Logics -- 3.1 Ontic Updates via Public Announcements -- 3.2 Ontic Updates via Arrow Updates -- 3.3 Epistemic Updates, Preliminary Thoughts -- 4 Conclusions -- References -- Parametrized Modal Logic II: The Unidimensional Case -- 1 Introduction -- 2 Syntax -- 3 Relational Semantics -- 4 Axiomatizations -- 5 Completeness: The General Case -- 6 Completeness: The Conjunctive Case -- 7 Filtrations -- 8 Conclusion -- References
001454682 5058_ $$aRelating Kleene Algebras with Pseudo Uninorms -- 1 Introduction -- 2 Preliminaries -- 3 Some New Results and Construction on Pseudo Uninorms -- 3.1 Annihilators of Pseudo Uninorms -- 3.2 Idempotency -- 3.3 Join Morphism -- 4 Kleene Algebras Based on Pseudo Uninorms -- 4.1 Automorphisms on [0,1] Acting on Kleene Algebras -- 5 Final Remarks -- References -- Dynamic Epistemic Logic for Budget-Constrained Agents -- 1 Introduction -- 2 Epistemic Logic for Budget-Constrained Agents -- 2.1 Syntax -- 2.2 Semantics -- 2.3 Soundness and Completeness
001454682 5058_ $$a3 Dynamic Epistemic Logic for Budget-Constrained Agents -- 3.1 Syntax -- 3.2 Semantics -- 3.3 Some Valid Formulas -- 3.4 Soundness and Completeness -- 4 Combination of DELbc and PAL -- 5 Discussion -- References -- Action Models for Coalition Logic -- 1 Introduction -- 2 Language and Semantics of Coalition Logic -- 3 Coalition Action Model Logic -- 3.1 Informal Exposition and Example -- 3.2 Syntax and Semantics of Coalition Action Modal Logic -- 4 Expressivity -- 5 Model Checking -- 6 Discussion -- References -- Quantum Logic for Observation of Physical Quantities -- 1 Introduction -- 2 Basics
001454682 5058_ $$a3 Modality for Measurement -- 4 Conclusions and Remarks -- References -- Cautious Distributed Belief -- 1 Introduction -- 2 Basic Definitions -- 3 Preserving Relational Properties -- 4 Relationship Between D and DA -- 5 Coda: Exploring bold Distributed Belief -- 6 Summary and Further Work -- References -- A Stit Logic of Intentionality -- 1 Introduction -- 2 A Semantics of Intentionality -- 3 Logic-Based Properties and Axiomatization -- 3.1 Properties -- 3.2 Axiomatization -- 4 Conclusion -- Appendix A Proofs of Soundness and Completeness -- A.1 Soundness -- A.2 Completeness
001454682 5058_ $$aA.3 Canonical Kripke-ies-structure -- References -- Author Index
001454682 506__ $$aAccess limited to authorized users.
001454682 520__ $$aThis book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLi 2022, held in Haifa, Israel, in July/August 2022. The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.
001454682 588__ $$aDescription based on print version record.
001454682 650_0 $$aComputer logic$$vCongresses.
001454682 650_0 $$aSoftware engineering$$vCongresses.
001454682 650_0 $$aComputer networks$$vCongresses.
001454682 655_0 $$aElectronic books.
001454682 7001_ $$aAreces, Carlos,$$eeditor.
001454682 7001_ $$aCosta, Diana,$$eeditor.
001454682 77608 $$iPrint version:$$aAreces, Carlos$$tDynamic Logic. New Trends and Applications$$dCham : Springer International Publishing AG,c2023$$z9783031266218
001454682 830_0 $$aLecture notes in computer science ;$$v13780.
001454682 852__ $$bebk
001454682 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-26622-5$$zOnline Access$$91397441.1
001454682 909CO $$ooai:library.usi.edu:1454682$$pGLOBAL_SET
001454682 980__ $$aBIB
001454682 980__ $$aEBOOK
001454682 982__ $$aEbook
001454682 983__ $$aOnline
001454682 994__ $$a92$$bISE