ARQNL 2014:Keyword Index

Keyword	Papers
A
automated theorem proving	A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems Problem Libraries for Non-Classical Logics Dialogues for proof search
axiomatization	A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
C
Common Logic	Proof Support for Common Logic
D
dialogical logic	Dialogues for proof search
dialogue games	Dialogues for proof search
distributed hybrid systems	A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
E
embedding	Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
experiments	HOL Provers for First-order Modal Logics --- Experiments
F
first-order modal logics	HOL Provers for First-order Modal Logics --- Experiments
H
higher-order automated theorem provers	HOL Provers for First-order Modal Logics --- Experiments
higher-order logic	Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
hybrid logic	Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
I
intuitionistic logic	Problem Libraries for Non-Classical Logics Dialogues for proof search
L
logic translation	Proof Support for Common Logic
Logics for partial functions	Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic
M
Metric Temporal Logic	A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
modal logic	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics Problem Libraries for Non-Classical Logics
N
nominal logic	Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
non-classical logics	Problem Libraries for Non-Classical Logics
P
problem libraries	Problem Libraries for Non-Classical Logics
proof calculus	A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
proof search	Dialogues for proof search
Q
quantified dynamic logic	A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
T
temporal logic	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
theorem proving	Proof Support for Common Logic Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic
three-valued logic	Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic
TLA	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics