Abstract:A healthy field combines two driving forces, extension of coverage and theoretical reflection – and modal logic is no exception. In this talk, we look at some broader theoretical issues raised by recent developments in dynamic logics of information flow, whose main technical feature is the modal study of definable model change. Our pilot system will be public announcement logic PAL, the base calculus of update with hard information. We identify several general themes behind the particulars of its design. These include model-theoretic issues like the balance of expressive power for the static and dynamic components of the language, and learnability results in the form of preservation theorems. But we also discuss PAL’s calculus of reasoning, via correspondence analysis of its axioms as constraints on update functions in domains of inquiry, showing how this leads to two recent extensions: protocol versions where no reduction to the static base language occurs, and substitution-closed core versions of the system. Both moves exemplify more general operations on modal logics. Next, we consider other dynamic-epistemic logics, and amplify on the above themes, while adding some new ones. First, we discuss event models and product update in DEL, a calculus of model construction that shows analogies with process algebra, but also with the epistemic μ–calculus. Then we turn to dynamic logics for belief change under incoming hard and soft information that upgrade plausibility relations without eliminating worlds. We discuss what logical format best captures the generality needed to avoid a jungle of revision policies. In this setting also, we look at the general phenomenon of defining new static modalities by dynamic considerations. While all this broadens our view of single-step model transformations, another conspicuous dimension in current research is the global temporal horizon of a process of inquiry, a conversation, or a game, adding procedural information to local updates. We discuss representation results linking local dynamic and global temporal logics, while also pointing at specific model-theoretic issues arising with concrete processes involving iterated hard or soft announcements, and their limit behavior. Here we link up with modal fixed-point logics, though the general situation is far from clear. As a very concrete instance of merging local and global perspectives, we discuss some recent links between dynamic epistemic logics and formal learning theory, where modal models acquire a new meaning as priors pre-encoding learning methods.

New Logical Perspectives on Physics

Physics is Organized Around Transformations Connecting Contextures in a Polycontextural World

Logical Dynamics Meets Logical Pluralism?

First-Order Logic Foundation of Relativity Theories

Physics as the science of the possible: Discovery in the age of Godel (1.1 Generality of physics)

The sounds of science—a symphony for many instruments and voices: part II

The non-standad logic of physics: the case of the Boltzmann-Sinai hard-sphere system

The logic of empirical theories revisited

The sounds of science a symphony for many instruments and voices part II

Logical Foundations of Computer Science

A New Insight on Physical Phenomenology: a Review

Proceedings 14th International Conference on Quantum Physics and Logic

On the Philosophical Foundations of Physics: An Experimentalist's Perspective

A New Logical Foundation for Psychology

A logico-linguistic inquiry into the foundations of physics: Part I

Perspectives in Quantum Physics: Epistemological, Ontological and Pedagogical. An investigation into student and expert perspectives on the physical interpretation of quantum mechanics, with implications for modern physics instruction

Reality, locality and all that: "experimental metaphysics" and the quantum foundations

The Physics of Quantum 2.0: Challenges in understanding Quantum Matter

Foundational Issues in Logical Dynamics.

Problem Concerning Logic in Quantum Cosmology