Characterising Modal Definability of Team-Based Logics via the Universal Modality
La lógica modal es un sistema que busca el razonamiento desde hace muchos años, tomando como principal camino es uso de la necesidad y posibilidad del ser humano.
Escrito
Lógica Modal
Estudio de conceptos de necesidad y probablilidad.
Aplicaciones en la vida real
Matemáticas
inteligencia Artificial
teoría economica de juegos
linguistica teorica
sub campos de la imformática
Variantes
Variante de la lógica de quipos
Variente lógica modal con modalidad universal
sintaxis y semántica
No es la negación de la semántica de equipo
Ejemplo: ϕ ::= p | ¬p | (ϕ ∧ ϕ) | (ϕ ∨ ϕ) | ♦ϕ | ϕ, where p ∈ Φ.
Variante lógica de diferencias
Lógica modal graduada
Varieante lógica híbrida
Variente de la logica de dependencia.
Autores
Jaakko Hintikka and Gabriel Sandu
Filósofo
Informational independence as a semantical phenomenon.
Wilfried Hodges
Matemático
Some strange quantifiers.
Jouko Väänänen
Matemático
Modal dependence logic.
Some strange quantifiers.
Erich Grädel and Jouko A.Väänänen
Autor y Matemático
Dependence and independence.
Pietro Galliani
Matemático
Inclusion and exclusion dependencies in team semantics - on some logics of imperfect information.
Phokion G. Kolaitis
Científico de la computación
Schema mappings, data exchange, and metadata management.
M. Hannula, J. Kontinen, and S. Link
PostDoc Position at University of Helsinkiopic, Professor at University of Helsinki
On the finite and general implication problems of independence atoms and keys.
Miika Hannula
PostDoc Position at University of Helsinki
Reasoning about embedded dependencies using inclusion dependencies.
Miika Hannula and Juha Kontinen
PostDoc Position at University of Helsinki
A finite axiomatization of conditional independence and inclusion dependencies.
Lauri Hella and Phokion G. Kolaitis
Matemático
Dependence Logic vs. Constraint Satisfaction.
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, and Heribert Vollmer
Investigador, científico de la computación y Autor
A Van Benthem Theorem for Modal Team Semantics.
Modal independence logic.
Lauri Hella and Johanna Stumpf.
Matemático y psicóloga
The expressive power of modal logic with inclusion atoms.
Arnaud Durand, Juha Kontinen, and Heribert Vollmer
Matemático, investigador y autor
Expressivity and complexity of dependence logic- Valentin Goranko and Solomon Passy. Using the universal modality: Gains and questions.
R. I. Goldblatt and S. K. Thomason
Matemático
Axiomatic classes in propositional modal logic.
Johan van Benthem
Filósofo
Modal frame classes revisited.
Balder ten Cate
Autor
Model theory for extended modal languages.
Katsuhiko Sano and Minghui Ma
Profesor
Goldblatt-Thomason-style theorems for graded modal language.
George Gargov and Valentin Goranko
Matemático
Modal logic with names.
Tin Perkov and Mladen Vukovic
Matemático
Some characterization and preservation theorems in modal logic.
Tin Perkov
Matemático
A generalization of modal frame definability.
Katsuhiko Sano and Jonni Virtema
Profesor y Lógico e Informático Teórico
Characterizing frame definability in team semantics via the universal modality.