Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Finite model property
5
Computability and decidability
4
Modal logic
4
Semantics
4
Complexity
2
Computer circuits
2
Decidability
2
First-order
2
Formal logic
2
Gödel logics
2
Kripke frames
2
Many valued logics
2
Many-valued logics
2
Modal logics
2
Np-completeness
2
One-variable fragments
2
Pspace completeness
2
Regularity condition
2
Unit intervals
2
Variable fragment
2
Heyting algebras
1
Matemática
1
Successor operator
1
-
1
-
2Publicado 2013Materias: “...Finite model property...”
-
3Materias: “...Finite model property...”
SER -
4Publicado 2017Materias: “...Finite model property...”
-
5Materias: “...Finite model property...”
JOUR