FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: BCDEFHIKLMNPQST
B
barcan formulas
Bunched Implications Logic
C
Conditional logic
countermodel construction
Cut-elimination theorem
D
Display calculi
E
Effective translations
epistemic logic
External calculi
F
forward proof-search
H
Hypersequent calculus
I
Infinite modalities
Internal calculi
Intuitionistic logic
Intuitionistic Modal Logic
intuitionistic propositional logic
K
Knowledge and belief
Kripke model
L
Labelled calculi
labelled calculus
M
Multi Modal logic
Multi-agent models
N
neighbourhood semantics
non-normal modal logic
non-normal modal logics
P
proof systems
Proof theory
Proof translations
Q
quantified modal logics
S
Scott-Lemmon axioms
sequent calculi
sequent calculus
structural rules
T
Tense logic