The Journal of Logic, Language and Information explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the ...

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

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

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