Computer circuits 2 Information management 2 Information science 2 Knowledge based systems 2 Reconfigurable hardware 2 Semantics 2 Algebra 1 Calculations 1 Classical modal logic 1 Dynamic epistemic logic 1 Epistemic logic 1 Epistemic logics 1 Formal logic 1 Fuzzy logic 1 Hilbert-style calculus 1 Kripke frames 1 Lukasiewicz modal logic 1 MV-algebras 1 Many valued logics 1 Modal logic 1 Possibilistic 1 Possibility distributions 1 Public Announcements Logic 1 Relational semantics 1 Theoretical framework 1