Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development ...

We describe a method for obtaining classical logic from intuitionistic logic which does not depend on any proof system, and show ...

Abstract: We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems.

This is a preview. Log in through your library . Abstract Proof-theoretical notions and techniques, developed on the basis of ...