Accepted Papers
Full Papers
Unification in modal logic ALT1
Axiomatizing the lexicographic products of modal logics with LTL
Before announcement
Logics of Infinite Depth
The Logic of Where and While in the 13th and 14th Centuries
Algebraic semantics of refinement modal logic
Axiomatizing a Real-Valued Modal Logic
Verification logic: An arithmetical interpretation for negative introspection
Post Completeness in Congruential Modal Logics
The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus
About intuitionistic public announcement logic
Fully Arbitrary Public Announcements
The Tangled Derivative Logic of the Real Line and Zero-Dimensional Spaces
“Knowing value” logic as a normal modal logic
A Paraconsistent View on B and S5
Embedding formalisms: hypersequents and two-level systems of rules
Locales, Nuclei, and Dragalin Frames
A canonical model construction for intuitionistic distributed knowledge
Local tabularity without transitivity
Decidable first-order modal logics with counting quantifiers
A cut-free sequent calculus for the logic of subset spaces
Propositional dynamic logic with Belnapian truth values
A focused framework for emulating modal proof systems
To Know is to Know the Value of a Variable
The succinctness of first-order logic over modal logic via a formula size game
The structure of the lattice of normal extensions of modal logics with cyclic axioms
Classical and Empirical Negation in Subintuitionistic Logic
Synthetic completeness proofs for Seligman-style tableau systems
It ain't necessarily so: Basic sequent systems for negative modalities
Update, Probability, Knowledge and Belief
Short Presentations
WS5 as a Metalogic of Superintuitionistic Multiple-Conclusion Consequence Relations
A Modal Logic Interpretation of Yablo-like Brandenburger-Keisler Paradox
Distributive mereotopology
Computability of definability in the class of all KD45 frames
The length of distinguishing modal formulae
The Kripke sheaf completion of weak constant domain principle is not finitely axiomatizable
On the Completeness of EL-Equations: First Results
A survey on Kearns' modal semantics without possible worlds
Temporal hybrid logics with the modalities “tomorrow” and “yesterday”
Beyond knowledge: when an agent imagines
Normal default rules as epistemic actions
Gödel's incompleteness properties and the expressive quality of some modal-behaving logics
Algebraic semantics for logics with necessity and sufficiency
Axiomatizing Modal Dependence Logics
Temporal modal logic of intervals with relation ‘before’
Free Boolean extensions of Heyting algebras
Big and small steps for fast and slow provability
The logic of Resources and Capabilities
Expressivity of Many-valued Modal Logics, Coalgebraically
Stable Canonical Rules and Formulas for PDL
On the Lambek Calculus with the Kleene Star and the Exponential
Agents, Roles and Rights. A Formal Analysis on Hohfeldian Conceptions
Constructive canonicity for non-classical fixed point logics
Neighbourhood products of pretransitive modal logics with S5
Herbrand’s Theorem for Hybrid Logic
Semi-Provability Predicates and Extensions of GL
On modal logic of submodels
Notes on a reduction property for GLP-algebras
Taking the “choice” aspect of free choice permission seriously