Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D F G H I K L M P R S V W Y Z Ö

A
Aguilera, Juan	Tutorial: First-order Gödel logics Model Theory of Gödel Logic
Aloni, Maria	Nothing is Logical
B
Baskent, Can	A Logic of Isolation
C
Chen, Lin	Strict-Tolerant Conditional Logics
D
Dowek, Gilles	A linear proof language for second-order intuitionistic linear logic
Díaz-Caro, Alejandro	A linear proof language for second-order intuitionistic linear logic
F
Figallo, Aldo	(In)consistency operators on quasi-Nelson algebras
G
Gilbert, Dave	A Logic of Isolation
Girlando, Marianna	A simple loopcheck for Intuitionistic K
Grudzinska, Justyna	Polyadic Quantifiers on Dependent Types
H
Hayashi, Daichi	Axiomatising Classical Realisability
I
Ivnisky, Malena	A linear proof language for second-order intuitionistic linear logic
K
Kamareddine, Fairouz	Obtaining Intersection Types via Finite-Set Declaration
Kozen, Dexter	Probability and Nondeterminism with Multiset Semantics
Kuznets, Roman	A simple loopcheck for Intuitionistic K
Kuznetsov, Stepan	Syntactic concept lattice models for infinitary action logic
L
Leemhuis, Mena	Rules of Partial Orthomodularity
Leigh, Graham E.	Axiomatising Classical Realisability
M
Malherbe, Octavio	A linear proof language for second-order intuitionistic linear logic
Marin, Sonia	A simple loopcheck for Intuitionistic K
Maruyama, Yoshihiro	Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions
Morales, Marianela	A simple loopcheck for Intuitionistic K
Müller, Valentin	Labelled Sequent Calculi for Inquisitive Modal Logics
P
Palmigiano, Alessandra	Correspondence theory on vector spaces
Panettiere, Mattia	Correspondence theory on vector spaces
Peltier, Nicolas	An EXPTIME-complete entailment problem in separation logic
R
Rivieccio, Umberto	(In)consistency operators on quasi-Nelson algebras
S
Sadrzadeh, Mehrnoosh	Lambek Calculus with Banged Atoms for Parasitic Gaps
Sedlar, Igor	Completeness of Finitely Weighted Kleene Algebra With Tests
Straßburger, Lutz	A simple loopcheck for Intuitionistic K Lambek Calculus with Banged Atoms for Parasitic Gaps
Switrayni, Ni Wayan	Correspondence theory on vector spaces
V
van Gool, Sam	Theory and Practice of Uniform Interpolation
Venturi, Giorgio	A Logic of Isolation
Verity, Florrie	Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions
W
Wells, Joe	Obtaining Intersection Types via Finite-Set Declaration
Wen, Xuefeng	Strict-Tolerant Conditional Logics Validity in Contexts: A Semantics for Indicatives and Epistemic Modals
Wolter, Diedrich	Rules of Partial Orthomodularity
Y
Yamakami, Tomoyuki	Logical Expressibility of Syntactic NL for Complementarity and Maximization
Z
Zaffora Blando, Francesca	Tutorial: An introduction to algorithmic randomness Pride and Probability
Zawadowski, Marek	Polyadic Quantifiers on Dependent Types
Ö
Özcep, Özgür Lütfü	Rules of Partial Orthomodularity