FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

B
barcan formulas	Proof theory for quantified monotone modal logics
Bunched Implications Logic	Proof Translations in BI logic
C
Conditional logic	Hypersequent calculus for the logic of conditional belief: preliminary results
countermodel construction	A Forward Calculus for Countermodel Construction in IPL
Cut-elimination theorem	Sequent Calculi for Logic that Includes an Infinite Number of Modalities
D
Display calculi	Effective Translations between Display and Labelled Proofs for Tense Logics
E
Effective translations	Effective Translations between Display and Labelled Proofs for Tense Logics
Epistemic Logic	Hypersequent calculus for the logic of conditional belief: preliminary results
External calculi	Effective Translations between Display and Labelled Proofs for Tense Logics
F
forward proof-search	A Forward Calculus for Countermodel Construction in IPL
H
Hypersequent calculus	Hypersequent calculus for the logic of conditional belief: preliminary results
I
Infinite modalities	Sequent Calculi for Logic that Includes an Infinite Number of Modalities
Internal calculi	Effective Translations between Display and Labelled Proofs for Tense Logics
Intuitionistic logic	Intuitionistic multi-agent subatomic natural deduction for belief and knowledge
Intuitionistic Modal Logic	Toward intuitionistic non-normal modal logic and its calculi
intuitionistic propositional logic	A Forward Calculus for Countermodel Construction in IPL
K
Knowledge and belief	Intuitionistic multi-agent subatomic natural deduction for belief and knowledge
Kripke model	Sequent Calculi for Logic that Includes an Infinite Number of Modalities
L
labelled calculi	Proof theory for quantified monotone modal logics Effective Translations between Display and Labelled Proofs for Tense Logics
labelled calculus	Toward intuitionistic non-normal modal logic and its calculi
M
Multi Modal logic	Sequent Calculi for Logic that Includes an Infinite Number of Modalities
Multi-agent models	Hypersequent calculus for the logic of conditional belief: preliminary results
N
neighbourhood semantics	Toward intuitionistic non-normal modal logic and its calculi
non-normal modal logic	Toward intuitionistic non-normal modal logic and its calculi
non-normal modal logics	Proof theory for quantified monotone modal logics
P
Proof systems	Proof Translations in BI logic
Proof theory	Intuitionistic multi-agent subatomic natural deduction for belief and knowledge
Proof translations	Proof Translations in BI logic
Q
quantified modal logics	Proof theory for quantified monotone modal logics
S
Scott-Lemmon axioms	Effective Translations between Display and Labelled Proofs for Tense Logics
sequent calculi	A Forward Calculus for Countermodel Construction in IPL
sequent calculus	Toward intuitionistic non-normal modal logic and its calculi Sequent Calculi for Logic that Includes an Infinite Number of Modalities
structural rules	Proof theory for quantified monotone modal logics
T
Tense logic	Effective Translations between Display and Labelled Proofs for Tense Logics

Disclaimer | Powered by EasyChair Smart Program