The study of epistemic logic, which formalises the reasoning about knowledge and belief, has been enriched by recent incorporations of topological semantics. This interdisciplinary approach leverages ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 84, No. 2, Ways of Worlds 2: On Possible Worlds and Related Notions (Nov., 2006), pp. 171-210 (40 pages) The paper focuses on extending ...

A simple, bivalent semantics is defined for Łukasiewicz's 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a ...

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