FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: CDEFGHILMNPRSTU
C
Categorical Logic
circular proofs
coinduction
Cyclic proofs
D
denotational semantics
E
explicit induction reasoning
F
finitization
first-order logic with inductive predicates
fixed points
fixpoint alternation
G
Game semantics
Guarded Recursion
H
Horn clause
Hyper sequents
I
induction
induction reasoning
inductive theorem prover
Infinitary Proofs
infinite descent
L
lambda calculus
Leveled sequents
linear logic
Logical complexity
M
modal fixpoint logic
MSO on Infinite Words
muMALL
N
Non-wellfounded proofs
P
Peano arithmetic
proof complexity
proof schema
Proof theory
proof-search
R
Realizability
Reduction Semantics
Reverse mathematics
S
sequent calculus
T
Transitive Closure
Type theory
U
uniform proof