- 2019
- Matteo Acclavio
, Lutz Straßburger:
On Combinatorial Proofs for Logics of Relevance and Entailment. WoLLIC 2019: 1-16 - Bahareh Afshari, Gerhard Jäger, Graham E. Leigh:
An Infinitary Treatment of Full Mu-Calculus. WoLLIC 2019: 17-34 - Matthias Baaz
, Anela Lolic
:
Note on Globally Sound Analytic Calculi for Quantifier Macros. WoLLIC 2019: 486-497 - Alexandru Baltag, Nick Bezhanishvili
, Saúl Fernández González:
The McKinsey-Tarski Theorem for Topological Evidence Logics. WoLLIC 2019: 177-194 - Nick Bezhanishvili
, Gianluca Grilletti
, Wesley H. Holliday
:
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. WoLLIC 2019: 35-52 - Patrick Blackburn
, Manuel A. Martins, María Manzano, Antonia Huertas
:
Rigid First-Order Hybrid Logic. WoLLIC 2019: 53-69 - Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev
:
Bar-Hillel Theorem Mechanization in Coq. WoLLIC 2019: 264-281 - Xavier Caicedo, George Metcalfe
, Ricardo Oscar Rodríguez, Olim Frits Tuyt:
The One-Variable Fragment of Corsi Logic. WoLLIC 2019: 70-83 - Carlos Caleiro, Sérgio Marcelino
:
Analytic Calculi for Monadic PNmatrices. WoLLIC 2019: 84-98 - Jinsheng Chen, Giuseppe Greco
, Alessandra Palmigiano
, Apostolos Tzimoulis
:
Non Normal Logics: Semantic Analysis and Proof Theory. WoLLIC 2019: 99-118 - Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc
:
Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics. WoLLIC 2019: 119-139 - Willem Conradie
, Andrew Craig
, Alessandra Palmigiano
, Nachoem M. Wijnberg:
Modelling Informational Entropy. WoLLIC 2019: 140-160 - Hans van Ditmarsch, Louwe B. Kuijer:
Knowledge Without Complete Certainty. WoLLIC 2019: 619-632 - David Fernández-Duque
, Eduardo Hermo Reyes
:
A Self-contained Provability Calculus for Γ0. WoLLIC 2019: 195-207 - Flavio Ferrarotti
, Senén González, José Maria Turull Torres, Jan Van den Bussche
, Jonni Virtema
:
Descriptive Complexity of Deterministic Polylogarithmic Time. WoLLIC 2019: 208-222 - Tommaso Flaminio
, Lluís Godo
, Ricardo Oscar Rodríguez:
A Representation Theorem for Finite Gödel Algebras with Operators. WoLLIC 2019: 223-235 - Makoto Fujiwara:
Bar Induction and Restricted Classical Logic. WoLLIC 2019: 236-247 - Marianna Girlando, Sara Negri, Giorgio Sbardolini:
Uniform Labelled Calculi for Conditional and Counterfactual Logics. WoLLIC 2019: 248-263 - Jim de Groot
, Dirk Pattinson:
Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. WoLLIC 2019: 161-176 - Giulio Guerrieri
, Luc Pellissier
, Lorenzo Tortora de Falco
:
Proof-Net as Graph, Taylor Expansion as Pullback. WoLLIC 2019: 282-300 - Miika Hannula
, Lauri Hella
:
Complexity Thresholds in Inclusion Logic. WoLLIC 2019: 301-322 - Steve Huntsman:
The Multiresolution Analysis of Flow Graphs. WoLLIC 2019: 323-341 - Raheleh Jalali:
An Exponential Lower Bound for Proofs in Focused Calculi. WoLLIC 2019: 342-355 - Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov:
The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later. WoLLIC 2019: 356-372 - Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov:
L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit. WoLLIC 2019: 373-391 - Juha Kontinen, Fan Yang:
Logics for First-Order Team Properties. WoLLIC 2019: 392-414 - Yusuke Kubota, Robert Levine:
Modal Auxiliaries and Negation: A Type-Logical Account. WoLLIC 2019: 415-432 - Eveline Lehmann, Thomas Studer
:
Subset Models for Justification Logic. WoLLIC 2019: 433-449 - Fei Liang, Thiago Nascimento
:
Algebraic Semantics for Quasi-Nelson Logic. WoLLIC 2019: 450-466 - Kristina Liefke
:
A Case for Property-Type Semantics. WoLLIC 2019: 467-485