Abstract is missing.
- Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal LogicsDamien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz. 1-16 [doi]
- A Logic for Verifying Metric Temporal Properties in Distributed Hybrid SystemsPing Hou, Yifei Chen. 17-30 [doi]
- Problem Libraries for Non-Classical LogicsJens Otten, Thomas Raths. 31-36 [doi]
- HOL Provers for First-order Modal Logics - ExperimentsChristoph Benzmüller. 37-41 [doi]
- Proof Support for Common LogicTill Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange 0002, Michael Grüninger. 42-58 [doi]
- Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order LogicMax Wisniewski, Alexander Steen. 59-64 [doi]
- Dialogues for proof searchJesse Alama. 65-70 [doi]
- Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric LogicHans de Nivelle. 71-86 [doi]