TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
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 |