Keyphrases
Three-valued Logic
59%
Update Logic
59%
Classical Modal Logics
59%
Sequent Calculus
59%
Program Logic
59%
Logic of Action
59%
Logical Knowledge
59%
Omniscience
29%
Bayesian Conditionalization
29%
Cut-free
29%
Product Update
29%
Gentzen
29%
Knowledge Operator
29%
Formal Epistemology
29%
Polymodal
19%
Modal Language
19%
Cut-admissibility
19%
Proof-search Procedures
19%
Modal Logic S5
14%
Propositional Formula
14%
Linear Translation
14%
Epistemic Possibility
10%
Relativized Common Knowledge
10%
Epistemic Access
10%
Computer Science
Logical Framework
59%
Axiomatization
59%
Proof System
59%
Sequent Calculus
59%
Formal Language
59%
Search Procedure
29%
Modal Language
29%
Mathematics
Epistemic Logic
100%
Common Knowledge
59%
Belief Change
40%
Made Explicit
29%
Dynamic Logic
29%
Epistemic Possibility
19%