Studia Logica: An International Journal for Symbolic Logic, Vol. 49, No. 2 (1990), pp. 197-214 (18 pages) We illustrate, with three examples, the interaction between boolean and modal connectives by ...

Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...

This webpage contains the slides, handouts and homeowork assignments for the course Proof Theory of Modal Logic, which will take place within the 5th Tsinghua Logic Summer School, organized by the ...

This project analyzes natural language arguments using modal logic. It translates informal reasoning into formal logical structures, validates them using Z3, and provides countermodels and repair ...