Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logic
3
Semantics
3
Computability and decidability
2
Finite model property
2
Formal logic
2
Kripke frames
2
Many valued logics
2
Many-valued logics
2
Strong completeness
2
Algebra
1
Completeness theorems
1
Complexity
1
Computer circuits
1
Decidability
1
First-order
1
Fuzzy Kripke semantics
1
Fuzzy logic
1
Gödel logic
1
Gödel logics
1
Gödel-Dummett logic
1
Intuitionistic modal logic
1
Kripke model
1
Kripke models
1
Many-valued modal logics
1
Modal algebras
1
Modal logics
1
Np-completeness
1
One-variable fragments
1
Prelinearity
1
Pspace completeness
1
-
1Materias: “...Fuzzy logic...”
JOUR -
2Materias: “...Modal logic...”
SER -
3Materias: “...Gödel-Dummett logic...”
JOUR -
4Materias: “...Gödel logics...”
JOUR