VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

Shortcuts: ABCDHILMNPQSTU
A
admissible rules
Affine logic
analyticity
B
Buchholz rule
C
circular proofs
Classical Modal Logics
cut elimination
D
density elimination
Description logic
display calculi
Double negation translation
dynamic logics
H
Hilbert systems
hypersequents
I
Identification of proofs
implication fragments of substructural logics
intuitionistic hybrid logic
intuitionistic modal logic
L
limitative results
Lindon interpolation
linear time complexity
link formulas
logic of common knowledge
Lukasiewicz logic
M
modal logic
modal mu-calculus
mu-calculus
multi-type sequent calculi
N
Negative translation
Neighborhood Semantics
nested sequents
non-classical logics
non-deterministic semantics
P
paraconsistent logics
primal infon logic
proof nets
proof theory
Q
Quantifiers
S
sequent calculi
sequent calculus
standard completness
structural completeness
sub-classical logics
Syntactic cut-elimination
T
translations
U
Unification