Book of abstracts

Conference timetable

Accepted papers

• Jonas Raab. Modal QUARC

• Jiří Raclavský and Petr Kuchyňka. Completeness in Partial Type Logic

• Xinyu Wang, Yang Song and Satoshi Tojo. On Three-Valued Modal Logics: from a Four-Valued Perspective

• Torben Braüner, Patrick Blackburn and Julie Lundbak Kofod. Hybrid logic with propositional quantifiers: Natural deduction style (Work in progress)

• Vit Puncochar and Carles Noguera. Information Types in Intuitionistic Predicate Logic

• Marta Bilkova, Sabine Frittella and Daniil Kozhemiachenko. Paraconsistent modal logic of comparative uncertainty

• Sebastian G.W. Speitel. Carnap's Problem for Generalised Quantifiers

• Eugenio Orlandelli. Completing most quantified modal logics

• Tomoaki Kawano. The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic

• Federico L. G. Faroldi and Tudor Protopopescu. All-Things-Considered Ought via Reasons in Justification Logic [Cancelled]

• Fernando Cano Jorge and Luis Estrada-González. Connexive arithmetic formulated relevantly

• Umberto Rivieccio. Modal Intuitionistic Algebras and Twist Representations

• Giuseppe Greco, Peter Jipsen, Alexander Kurz, M. Andrew Moshier, Alessandra Palmigiano and Apostolos Tzimoulis. Nonclassical first-order logics: Semantics and proof theory

• Thomas Ferguson. Defusing Small Explosions in Topic-Sensitive Intentional Modals

• Jonathan Mai. Two-Dimensional Rigidity

• Guillermo Badia, Xavier Caicedo and Carles Noguera. Maximality of logic without identity

• Pawel Pawlowski and Elio La Rosa. Yes Fellows, Well-known Modal Logics are at Most 8-valued

• Tommaso Flaminio, Lluis Godo, Paula Menchón and Ricardo Oscar Rodriguez. On the role of Dunn and Fisher Servi axioms in relational frames for Gödel modal logics

• Petr Cintula and Carles Noguera. Logic with Two-Layered Modal Syntax: Abstract, Abstracter, Abstractest

• Igor Sedlar. Changing the World Constructively

• Matteo Pascucci and Igor Sedlár. Hyperintensional models for non-congruential modal logics

• Anasse Chafik, Fahima Cheikh, Jean-François Condotta and Ivan Varzinczak. Defeasible Linear Temporal Logic

• Andrew Tedder and Nicholas Ferenz. Modals and Quantifiers in Neighbourhood Semantics for Relevant Logics

• Giulio Fellin, Sara Negri and Eugenio Orlandelli. Glivenko classes and constructive cut elimination in infinitary logic

• Antonin Dvorak. Towards First-Orded Partial Fuzzy Modal Logic

• David Fuenmayor. Semantical investigations on non-classical logics with recovery operators (using the Isabelle proof assistant)

• Libor Behounek. On the connexivity of fuzzy counterfactuals

• Lukas Grätz. Truth Tables for Modal Logics: The Forgotten Papers