Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
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
Copyright © 2012-2023 easychair.org. All rights reserved.