ARQNL 2014: Author IndexAuthor  Papers 

A  Alama, Jesse  Dialogues for proof search  B  Benzmüller, Christoph  HOL Provers for Firstorder 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 FirstOrder 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 FirstOrder Modal Logics  Kutz, Oliver  Proof Support for Common Logic  L  Lamport, Leslie  Coalescing: Syntactic Abstraction for Reasoning in FirstOrder Modal Logics  Lange, Christoph  Proof Support for Common Logic  Libal, Tomer  Coalescing: Syntactic Abstraction for Reasoning in FirstOrder Modal Logics  M  Merz, Stephan  Coalescing: Syntactic Abstraction for Reasoning in FirstOrder Modal Logics  Mossakowski, Till  Proof Support for Common Logic  O  Otten, Jens  Problem Libraries for NonClassical Logics  R  Raths, Thomas  Problem Libraries for NonClassical Logics  S  Steen, Alexander  Embedding of Quantified HigherOrder Nominal Modal Logic into Classical HigherOrder Logic  W  Wisniewski, Max  Embedding of Quantified HigherOrder Nominal Modal Logic into Classical HigherOrder Logic 

