Repositorios 2

Complexity 6 Decidability Modal logics 6 Complejidad 4 Decidibilidad 4 Dynamic epistemic logics 4 Dynamic operators 4 Expressive power 4 Lógicas dinámicas epistémicas 4 Lógicas modales 4 Operadores de cambio de accesibilidad 4 Operadores dinámicos 4 Poder expresivo 4 Bisimulations 2 Computability and decidability 2 Computer circuits 2 Finite model property 2 Formal logic 2 Gödel logics 2 Many valued logics 2 Many-valued logics 2 Modal logic 2 Np-completeness 2 One-variable fragments 2 Pspace completeness 2 Regularity condition 2 Relation changing operators 2 Relation-changing operators 2 Semantics 2 Unit intervals 2