default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th 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
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.
last updated on 2025-01-06 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
