VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

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
classical logic	Computer-oriented inference search in first-order sequent logics
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 logic	Computer-oriented inference search in first-order sequent logics
First-order modal logics	HOL Provers for First-order Modal Logics --- Experiments
H
Higher Order Logic	Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
Higher-order automated theorem provers	HOL Provers for First-order Modal Logics --- Experiments
Hybrid Logic	Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
I
inference search	Computer-oriented inference search in first-order sequent logics
intuitionistic logic	Problem Libraries for Non-Classical Logics Computer-oriented inference search in first-order sequent 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	Problem Libraries for Non-Classical Logics Computer-oriented inference search in first-order sequent logics Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal 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
S
sequent calculi	Computer-oriented inference search in first-order sequent logics
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

Disclaimer | Powered by EasyChair Smart Program