WoLLIC

Keyphrases

Publications

2024

Can Baskent, David R. Gilbert, Giorgio Venturi
A Logic of Isolation. WoLLIC (2024)
Nicolas Peltier
An EXPTIME-Complete Entailment Problem in Separation Logic. WoLLIC (2024)
Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep
Rules of Partial Orthomodularity. WoLLIC (2024)
Florrie Verity, Yoshihiro Maruyama
Modal Hyperdoctrine: Higher-Order and Non-normal Extensions. WoLLIC (2024)
Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe
A Linear Proof Language for Second-Order Intuitionistic Linear Logic. WoLLIC (2024)
Igor Sedlár
Completeness of Finitely Weighted Kleene Algebra with Tests. WoLLIC (2024)
Mehrnoosh Sadrzadeh, Lutz Straßburger
Lambek Calculus with Banged Atoms for Parasitic Gaps. WoLLIC (2024)
Fairouz Kamareddine, Joe B. Wells
Intersection Types via Finite-Set Declarations. WoLLIC (2024)
Xuefeng Wen
Validity in Contexts - A Semantics for Indicatives and Epistemic Modals. WoLLIC (2024)
Daichi Hayashi, Graham E. Leigh
A Compositional Theory of Krivine's Classical Realisability. WoLLIC (2024)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
A Simple Loopcheck for Intuitionistic K. WoLLIC (2024)
Valentin Müller
Labelled Sequent Calculi for Inquisitive Modal Logics. WoLLIC (2024)
Lin Chen, Xuefeng Wen
Strict-Tolerant Conditional Logics. WoLLIC (2024)
Alessandra Palmigiano, Mattia Panettiere, Ni Wayan Switrayni
Correspondence Theory on Vector Spaces. WoLLIC (2024)
Marek W. Zawadowski, Justyna Grudzinska
Polyadic Quantifiers on Dependent Types. WoLLIC (2024)
Stepan L. Kuznetsov
Syntactic Concept Lattice Models for Infinitary Action Logic. WoLLIC (2024)
Tomoyuki Yamakami
Logical Expressibility of Syntactic NL for Complementarity and Maximization. WoLLIC (2024)
Umberto Rivieccio, Aldo Figallo Orellano
(In)consistency Operators on Quasi-Nelson Algebras. WoLLIC (2024)

volume 14672, 2024

Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings WoLLIC 14672 (2024)

2023

volume 13923, 2023

Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings WoLLIC 13923 (2023)

2022

volume 13468, 2022

Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings WoLLIC 13468 (2022)