Modal Foundations for Predicate Logic

TL;DR: The chapter introduces the basic model theoretic constructions, explores links between modal logic and classical logic, both on models and on frames, and examines the extent to which the key semantic ideas transfer to richer modal logics and languages while maintaining a relatively low computational complexity.

TL;DR: In this paper, the authors give an overview of dependence and independence logic and discuss conditional independence atoms and prove that conditional and non-conditional independence logic are equivalent, and briefly discuss an application of their logics to belief representation.

TL;DR: This chapter provides an overview of some important dynamic theories in linguistics and artificial intelligence and shows the way in which these fit into the general perspective on communication.

TL;DR: This paper presents an overview of the methods of hypersequents and display sequents in the proof theory of non-classical logics highlighting their differences and similarities and discussing applications and recent results connecting and comparing them.