Repositorios 44 Revistas 2

Theory of computation 18 Logic 12 Mathematical Logic 8 Lógica matemática 7 Modal logics 7 Complexity 6 Logic and verification 6 Teoría de la computación 6 Complejidad 4 Coq 4 Decidability 4 Decidibilidad 4 Denotational semantics 4 Dynamic epistemic logics 4 Dynamic operators 4 Expressive power 4 Forcing 4 Lógicas dinámicas epistémicas 4 Lógicas modales 4 Memoria dinámica 4 Modal logic 4 Operadores de cambio de accesibilidad 4 Operadores dinámicos 4 Poder expresivo 4 Proof theory 4 Separation logic 4 Type theory 4 Definability 3 Definibilidad 3 Logical characterization 3