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 ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 61, No. 2 (Sep., 1998), pp. 237-280 (44 pages) In this work we develop goal-directed deduction methods for the implicational fragment ...

God is by definition a perfect being. It is more perfect to exist than to not exist. Therefore, God exists. Just given these simple ideas, a few axioms, and a fondness for pushing around abstract ...

In the 1970s, Robin Giles introduced a game combining Lorenzen-style dialogue rules with a simple scheme for betting on the truth of atomic statements, and showed that the existence of winning ...

15:00 - 15:15 Katsuhiko Sano and Sakiko Yamasaki: Subformula property and Craig interpolation theorem of sequent calculi for tense logics Valentin Shehtman and Dmitry Shkatov: Some prospects for ...