Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D G K L M N P R S V Z

A
Angelos, Daniella	On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving
B
Benzmüller, Christoph	Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task?
Boag, Simon	Towards a Logical Framework for Latent Variable Modelling
C
Claus, Maximilian	Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task?
Cohen, Liron	On Expanding Standard Notions of Constructivity Non-well-founded proof system for Transitive Closure Logic
D
Dardha, Ornela	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)
G
Gay, Simon	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)
Gencer, Çigdem	About the unification type of topological logics over Euclidean spaces
K
Kellison, Ariel	On Expanding Standard Notions of Constructivity
L
Lachnitt, Hanna	Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task?
M
Marin, Sonia	Decomposing labelled proof theory for intuitionistic modal logic
Morales, Marianela	Decomposing labelled proof theory for intuitionistic modal logic
N
Nalon, Cláudia	On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving
Nowland, Trisha	Towards a Logical Framework for Latent Variable Modelling
P
Pelgrom, Nemi	Can every real proof be represented by a formal proof? The Hilbert-Gentzen thesis
Pientka, Brigitte	POPLMark Reloaded: Mechanizing Logical Relations Proofs
Pimentel, Elaine	A semantical view of sequent based systems
Pu, Geguang	First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
R
Reis, Giselle	Towards a Playground for Logicians
Rowe, Reuben	Non-well-founded proof system for Transitive Closure Logic
S
Stevens, Perdita	Logic and Software Engineering: Are We Nearly There Yet?
Straßburger, Lutz	Decomposing labelled proof theory for intuitionistic modal logic
V
Vardi, Moshe	First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
Z
Zhu, Shufang	First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation