![](https://dblp1.uni-trier.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
30th WoLLIC 2024: Bern, Switzerland
- George Metcalfe, Thomas Studer, Ruy J. G. B. de Queiroz
:
Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings. Lecture Notes in Computer Science 14672, Springer 2024, ISBN 978-3-031-62686-9 - Lin Chen, Xuefeng Wen:
Strict-Tolerant Conditional Logics. 1-17 - Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe:
A Linear Proof Language for Second-Order Intuitionistic Linear Logic. 18-35 - Can Baskent, David R. Gilbert, Giorgio Venturi:
A Logic of Isolation. 36-46 - Marianna Girlando, Roman Kuznets
, Sonia Marin, Marianela Morales, Lutz Straßburger:
A Simple Loopcheck for Intuitionistic K. 47-63 - Daichi Hayashi, Graham E. Leigh:
A Compositional Theory of Krivine's Classical Realisability. 64-79 - Fairouz Kamareddine, Joe B. Wells:
Intersection Types via Finite-Set Declarations. 80-92 - Stepan L. Kuznetsov
:
Syntactic Concept Lattice Models for Infinitary Action Logic. 93-107 - Mena Leemhuis
, Diedrich Wolter
, Özgür L. Özçep
:
Rules of Partial Orthomodularity. 108-121 - Valentin Müller
:
Labelled Sequent Calculi for Inquisitive Modal Logics. 122-139 - Alessandra Palmigiano
, Mattia Panettiere
, Ni Wayan Switrayni
:
Correspondence Theory on Vector Spaces. 140-156 - Nicolas Peltier:
An EXPTIME-Complete Entailment Problem in Separation Logic. 157-174 - Umberto Rivieccio
, Aldo Figallo Orellano
:
(In)consistency Operators on Quasi-Nelson Algebras. 175-192 - Mehrnoosh Sadrzadeh
, Lutz Straßburger
:
Lambek Calculus with Banged Atoms for Parasitic Gaps. 193-209 - Igor Sedlár
:
Completeness of Finitely Weighted Kleene Algebra with Tests. 210-224 - Florrie Verity, Yoshihiro Maruyama:
Modal Hyperdoctrine: Higher-Order and Non-normal Extensions. 225-242 - Xuefeng Wen:
Validity in Contexts - A Semantics for Indicatives and Epistemic Modals. 243-260 - Tomoyuki Yamakami:
Logical Expressibility of Syntactic NL for Complementarity and Maximization. 261-277 - Marek W. Zawadowski
, Justyna Grudzinska
:
Polyadic Quantifiers on Dependent Types. 278-291
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.