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