Do you suffer from anxiety in your everyday life? This blog shows how a form of logic known as alethic modal logic can be used with logic-based therapy (LBT) to construct the emotional reasoning that ...

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

Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical discipline that deals with (restricted) description languages for talking about ...

ABSTRACT: The Third Way is the most interesting and insightful of Aquinas' five arguments for the existence of God, even though it is invalid and has some false premises. With the help of a somewhat ...

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