Algebra 2 Calculations 2 Computer circuits 2 Dynamic epistemic logic 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 MV-algebras 2 Many valued logics 2 Modal logic 2 Public Announcements Logic 2 Reconfigurable hardware 2 Relational semantics 2 Semantics 2 Theoretical framework 2