TY - GEN
AU - Lück, Martin
AU - Martin Lück
TI - The Power of the Filtration Technique for Modal Logics with Team Semantics
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - dependence logic,team logic,modal logic,finite model theory
PY - 2017
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation