WiL Short Papers and Abstracts: Author Index

WIL SHORT PAPERS AND ABSTRACTS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword 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 (PDF, talk)
B
Benzmüller, Christoph	Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task? (PDF, talk)
Boag, Simon	Towards a Logical Framework for Latent Variable Modelling (PDF, talk)
C
Claus, Maximilian	Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task? (PDF, talk)
Cohen, Liron	On Expanding Standard Notions of Constructivity (PDF, talk) Non-well-founded proof system for Transitive Closure Logic (PDF, talk)
D
Dardha, Ornela	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract) (PDF, talk)
G
Gay, Simon J.	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract) (PDF, talk)
Gencer, Çigdem	About the unification type of topological logics over Euclidean spaces (PDF, talk)
K
Kellison, Ariel	On Expanding Standard Notions of Constructivity (PDF, talk)
L
Lachnitt, Hanna	Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task? (PDF, talk)
M
Marin, Sonia	Decomposing labelled proof theory for intuitionistic modal logic (PDF, talk)
Morales, Marianela	Decomposing labelled proof theory for intuitionistic modal logic (PDF, talk)
N
Nalon, Cláudia	On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving (PDF, talk)
Nowland, Trisha	Towards a Logical Framework for Latent Variable Modelling (PDF, talk)
P
Pimentel, Elaine	A semantical view of sequent based systems (PDF, talk)
Pu, Geguang	First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract (PDF, talk)
R
Reis, Giselle	Towards a Playground for Logicians (PDF, talk)
Rowe, Reuben	Non-well-founded proof system for Transitive Closure Logic (PDF, talk)
S
Straßburger, Lutz	Decomposing labelled proof theory for intuitionistic modal logic (PDF, talk)
V
Vardi, Moshe	First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract (PDF, talk)
Z
Zhu, Shufang	First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract (PDF, talk)