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

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

In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti (1936) and Reichenbach (1935, ...

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