VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Alama, Jesse	Dialogues for proof search
B
Benzmüller, Christoph	HOL Provers for First-order Modal Logics --- Experiments Open Discussion
C
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, Damein	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
Lyaletski, Alexander	Computer-oriented inference search in first-order sequent logics
M
Merz, Stephan	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Mossakowski, Till	Proof Support for Common Logic
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
Workshop Organizers,	ARQNL Workshop - Opening Problem Libraries for Non-Classical Logics

Disclaimer | Powered by EasyChair Smart Program