ARQNL PROGRAM
Wednesday, July 23rd, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:50-11:00 Session 167: Opening
Location: FH, Seminarraum 138C
| 10:50 | ARQNL Workshop - Opening (abstract) |
11:00-13:00 Session 168: First-Order Modal Logics, Quantified Dynamic and Temporal Logic, Problem Libraries
Location: FH, Seminarraum 138C
| 11:00 | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics (abstract) |
| 11:30 | A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems (abstract) |
| 12:00 | Problem Libraries for Non-Classical Logics (abstract) |
| 12:30 | HOL Provers for First-order Modal Logics --- Experiments (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 172E: Common Logic, Higher-Order Nominal Modal Logic, First-Order Intuitionistic Logic
Location: FH, Seminarraum 138C
| 14:30 | Proof Support for Common Logic (abstract) |
| 15:00 | Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic (abstract) |
| 15:30 | Dialogues for proof search (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 175G: Logic with Partial Functions, First-Order Sequent Logics, Discussion
Location: FH, Seminarraum 138C
| 16:30 | Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic (abstract) |
| 17:00 | Computer-oriented inference search in first-order sequent logics (abstract) |
| 17:30 | Open Discussion (abstract) |