AiML2018 Accepted Short Papers

Rajab Aghamov. Modal logic with the difference modality of topological T0-spaces
Paolo Baldi, Petr Cintula and Carles Noguera. Translating logics of uncertainty into two-layered modal fuzzy logics
Libor Behounek and Antonin Dvorak. Kripke modalities with truth-functional gaps
Nick Bezhanishvili and Wesley Holliday. Topological Possibility Frames
Valentin Cassano, Raul Fervari, Carlos Areces and Pablo Castro. Interpolation Results for Default Logic Over Modal Logic
Caitlin D'Abrera and Rajeev Gore. Verified synthesis of (very simple) Sahlqvist correspondents via Coq
Mirjam de Vos, Barteld Kooi and Rineke Verbrugge. Provability logic meets the knower paradox
Sergey Drobyshevich. Sorting out FDE-based modal logics
Timo Eckhardt. Modelling Forgetting
Éric Goubault, Jérémy Ledent and Sergio Rajsbaum. A simplicial complex model for epistemic logic
Giuseppe Greco, Fei Liang, Krishna Manoorkar and Alessandra Palmigiano. Proper Display Calculi for Rough Algebras
Christopher Hampson, Stanislav Kikot, Agi Kurucz and Sergio Marcelino. Non-finitely Axiomatisable Modal Products with Infinite Canonical Axiomatisations
Alexander Kurz and Bruno Teheux. Categories of coalgebras for modal extensions of Łukasiewicz logic
Ondrej Majer and Igor Sedlar. Plausibility and conditional beliefs in paraconsistent modal logic
George Metcalfe and Olim Tuyt. Finite Model Properties for the One-Variable Fragment of First-Order Gödel Logic
Luka Mikec and Tin Perkov. Existentially valid formulas corresponding to some normal modal logics
Grigory Olkhovikov. Failure of Interpolation in Stit Logic
Massoud Pourmahdian and Reihane Zoghifard. Frame Definability and Extensions of First-Order Modal Logic
Massoud Pourmahdian and Reihane Zoghifard. Compactness for Modal Probability Logic
Vit Puncochar and Igor Sedlar. Informational semantics for superintuitionistic modal logics
Vit Puncochar and Igor Sedlar. From the positive fragment of PDL to its non-classical extensions
Daniel Skurt and Heinrich Wansing. Logical Connectives for some FDE-based Modal Logics
Michał Stronkowski and Mateusz Uliński. Active structural completeness for tabular modal logics
Rineke Verbrugge. Zero-one laws with respect to models of provability logic and two Grzegorczyk logics