Many valued logics 6 Modal logic 6 Formal logic 4 Fuzzy logic 4 Kripke model 4 Many-valued logics 4 Semantics 4 Algebra 2 Approximate reasoning 2 Completeness theorems 2 Complexity 2 Computability and decidability 2 Computer circuits 2 Decidability 2 Finite model property 2 Gödel logic 2 Gödel logics 2 Intuitionistic modal logic 2 Kripke frames 2 Kripke models 2 Logic Programming Gödel Logic 2 Logic programming 2 Modal algebras 2 Modal logics 2 Np-completeness 2 One-variable fragments 2 Possible worlds 2 Prelinearity 2 Pspace completeness 2 Regularity condition 2