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

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