Bisimulation for Conditional Modalities A. BaltagG. Cinà OriginalPaper Open access 11 May 2017 Pages: 1 - 33
Logic for Describing Strong Belief-Disagreement Between Agents Jia ChenTianqun Pan OriginalPaper 05 May 2017 Pages: 35 - 47
The Structure Group of a Generalized Orthomodular Lattice Wolfgang Rump OriginalPaper 10 May 2017 Pages: 85 - 100
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth Carlo Nicolai OriginalPaper 15 May 2017 Pages: 101 - 130
The Finite Model Property for Logics with the Tangle Modality Robert GoldblattIan Hodkinson OriginalPaper Open access 01 June 2017 Pages: 131 - 166
Correspondence Between Kripke Frames and Projective Geometries Shengyang Zhong OriginalPaper 03 June 2017 Pages: 167 - 189
A Second Pretabular Classical Relevance Logic Asadollah Fallahi OriginalPaper 23 June 2017 Pages: 191 - 214