Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Description

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants. Front Matter ....Pages i-xxi On Combinatorial Proofs for Logics of Relevance and Entailment (Matteo Acclavio, Lutz Straßburger)....Pages 1-16 An Infinitary Treatment of Full Mu-Calculus (Bahareh Afshari, Gerhard Jäger, Graham E. Leigh)....Pages 17-34 Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality (Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday)....Pages 35-52 Rigid First-Order Hybrid Logic (Patrick Blackburn, Manuel Martins, María Manzano, Antonia Huertas)....Pages 53-69 The One-Variable Fragment of Corsi Logic (Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Tuyt)....Pages 70-83 Analytic Calculi for Monadic PNmatrices (Carlos Caleiro, Sérgio Marcelino)....Pages 84-98 Non Normal Logics: Semantic Analysis and Proof Theory (Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis)....Pages 99-118 Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics (Roberto Ciuni, Thomas Macaulay Ferguson, Damian Szmuc)....Pages 119-139 Modelling Informational Entropy (Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg)....Pages 140-160 Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic (Jim de Groot, Dirk Pattinson)....Pages 161-176 The McKinsey-Tarski Theorem for Topological Evidence Logics (Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González)....Pages 177-194 A Self-contained Provability Calculus for \(\varGamma _0\) (David Fernández-Duque, Eduardo Hermo-Reyes)....Pages 195-207 Descriptive Complexity of Deterministic Polylogarithmic Time (Flavio Ferrarotti, Senén González, José María Turull Torres, Jan Van den Bussche, Jonni Virtema)....Pages 208-222 A Representation Theorem for Finite Gödel Algebras with Operators (Tommaso Flaminio, Lluis Godo, Ricardo O. Rodríguez)....Pages 223-235 Bar Induction and Restricted Classical Logic (Makoto Fujiwara)....Pages 236-247 Uniform Labelled Calculi for Conditional and Counterfactual Logics (Marianna Girlando, Sara Negri, Giorgio Sbardolini)....Pages 248-263 Bar-Hillel Theorem Mechanization in Coq (Sergey Bozhko, Leyla Khatbullina, Semyon Grigorev)....Pages 264-281 Proof-Net as Graph, Taylor Expansion as Pullback (Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco)....Pages 282-300 Complexity Thresholds in Inclusion Logic (Miika Hannula, Lauri Hella)....Pages 301-322 The Multiresolution Analysis of Flow Graphs (Steve Huntsman)....Pages 323-341 An Exponential Lower Bound for Proofs in Focused Calculi (Raheleh Jalali)....Pages 342-355 The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later (Max Kanovich, Stepan Kuznetsov, Andre Scedrov)....Pages 356-372 L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit (Max Kanovich, Stepan Kuznetsov, Andre Scedrov)....Pages 373-391 Logics for First-Order Team Properties (Juha Kontinen, Fan Yang)....Pages 392-414 Modal Auxiliaries and Negation: A Type-Logical Account (Yusuke Kubota, Robert Levine)....Pages 415-432 Subset Models for Justification Logic (Eveline Lehmann, Thomas Studer)....Pages 433-449 Algebraic Semantics for Quasi-Nelson Logic (Fei Liang, Thiago Nascimento)....Pages 450-466 A Case for Property-Type Semantics (Kristina Liefke)....Pages 467-485 Note on Globally Sound Analytic Calculi for Quantifier Macros (Matthias Baaz, Anela Lolic)....Pages 486-497 Closure Ordinals of the Two-Way Modal \(\mu \)-Calculus (Gian Carlo Milanese, Yde Venema)....Pages 498-515 SIXTEEN\(_3\) in Light of Routley Stars (Hitoshi Omori, Daniel Skurt)....Pages 516-532 An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra (Thomas Powell, Peter Schuster, Franziskus Wiesnet)....Pages 533-549 Reverse Mathematics and Computability Theory of Domain Theory (Sam Sanders)....Pages 550-568 Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs (Yury Savateev, Daniyar Shamkanov)....Pages 569-583 On First-Order Expressibility of Satisfiability in Submodels (Denis I. Saveliev)....Pages 584-593 Substructural Propositional Dynamic Logics (Igor Sedlár)....Pages 594-609 Modal Logics of Finite Direct Powers of \(\omega \) Have the Finite Model Property (Ilya Shapirovsky)....Pages 610-618 Knowledge Without Complete Certainty (Hans van Ditmarsch, Louwe B. Kuijer)....Pages 619-632 A Framework for Distributional Formal Semantics (Noortje J. Venhuizen, Petra Hendriks, Matthew W. Crocker, Harm Brouwer)....Pages 633-646 Weak Conservativity (Richard Zuber)....Pages 647-660 Back Matter ....Pages 661-662