A Coalgebraic View of Heyting Duality
Topological Aspects of Branching-Time Semantics
The Logic of Multisets Continued
Leibniz Filters Revisited
Löb's Theorem in a Set Theoretical Setting
Euclidean Hierarchy in Modal Logic
A Labelled Natural Deduction System for Linear Temporal Logic
Embedding Modal Nonmonotonic Logics into Default Logic
Vagueness-Adaptive Logic
Free Logic
Contents of Volume 75
Information for Authors