ARQNL 2014: Author Index

Author	Papers
A
Alama, Jesse	Dialogues for proof search
B
Benzmüller, Christoph	HOL Provers for First-order Modal Logics --- Experiments
C
Chen, Yifei	A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
Codescu, Mihai	Proof Support for Common Logic
D
De Nivelle, Hans	Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic
Doligez, Damien	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
G
Grüninger, Michael	Proof Support for Common Logic
H
Hou, Ping	A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
K
Kriener, Jael	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Kutz, Oliver	Proof Support for Common Logic
L
Lamport, Leslie	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Lange, Christoph	Proof Support for Common Logic
Libal, Tomer	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
M
Merz, Stephan	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Mossakowski, Till	Proof Support for Common Logic
O
Otten, Jens	Problem Libraries for Non-Classical Logics
R
Raths, Thomas	Problem Libraries for Non-Classical Logics
S
Steen, Alexander	Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
W
Wisniewski, Max	Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic