Intro
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

Relating 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

3 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

3 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

A.3 Canonical Kripke-ies-structure
References
Author Index