ARQNL 2014:Keyword Index

KeywordPapers
A
automated theorem provingA Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
Problem Libraries for Non-Classical Logics
Dialogues for proof search
axiomatizationA Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
C
Common LogicProof Support for Common Logic
D
dialogical logicDialogues for proof search
dialogue gamesDialogues for proof search
distributed hybrid systemsA Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
E
embeddingEmbedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
experimentsHOL Provers for First-order Modal Logics --- Experiments
F
first-order modal logicsHOL Provers for First-order Modal Logics --- Experiments
H
higher-order automated theorem proversHOL Provers for First-order Modal Logics --- Experiments
higher-order logicEmbedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
hybrid logicEmbedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
I
intuitionistic logicProblem Libraries for Non-Classical Logics
Dialogues for proof search
L
logic translationProof Support for Common Logic
Logics for partial functionsTheorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic
M
Metric Temporal LogicA Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
modal logicCoalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Problem Libraries for Non-Classical Logics
N
nominal logicEmbedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
non-classical logicsProblem Libraries for Non-Classical Logics
P
problem librariesProblem Libraries for Non-Classical Logics
proof calculusA Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
proof searchDialogues for proof search
Q
quantified dynamic logicA Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
T
temporal logicCoalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
theorem provingProof Support for Common Logic
Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic
three-valued logicTheorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic
TLACoalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics