Dynamic epistemic logic Modal logic 3 Algebra 2 Calculations 2 Computer circuits 2 Epistemic logic 2 Epistemic logics 2 Formal logic 2 Hilbert-style calculus 2 Information management 2 Information science 2 Knowledge based systems 2 Lukasiewicz modal logic 2 MV-algebras 2 Many valued logics 2 Public Announcements Logic 2 Reconfigurable hardware 2 Relational semantics 2 Semantics 2 Theoretical framework 2 Complexity 1 Expressivity 1