Repositorios 21 Catálogos de Bibliotecas 4

Modal logic 41 Modal logics 17 Semantics 15 Formal logic 14 Computer circuits 12 Fuzzy logic 12 Many valued logics 12 Ciencias Informáticas 9 Complexity 8 Definability 8 Expressive power 8 Kripke frames 8 Characterization 6 Computability and decidability 6 Data structures 6 Decidability 6 Hybrid logics 6 Model theory 6 Separation 6 Algebra 4 Axiomatization 4 Biomineralization 4 Bisimulations 4 Calculations 4 Complejidad 4 Decidibilidad 4 Dynamic epistemic logics 4 Dynamic operators 4 Finite model property 4 Hybrid logic 4