Zobrazeno 1 - 10
of 105
pro vyhledávání: '"Thomas Studer"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 243, Iss Proc. M4M9 2017, Pp 59-74 (2017)
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to moda
Externí odkaz:
https://doaj.org/article/3fe14e0550b84f35a10d516a3a3c52b3
Autor:
Grigori Mints, Thomas Studer
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 77, Iss Proc. FICS 2012, Pp 47-54 (2012)
We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Omega-rule.
Externí odkaz:
https://doaj.org/article/cdd19500ef3b48a99888e9978d65655e
Publikováno v:
Zeitschrift für Interkulturellen Fremdsprachenunterricht, Vol 18, Iss 1 (2015)
Externí odkaz:
https://doaj.org/article/91f1a18a675248a394b7aa661fc7c4c5
Autor:
Elisabeth Peyer, Thomas Studer
Publikováno v:
Zeitschrift für Interkulturellen Fremdsprachenunterricht, Vol 19, Iss 2 (2014)
Im Fokus dieses Artikels stehen Verfahren zur Erarbeitung von Basisstandards (Grundkompetenzen) für die Schreibkompetenz in Deutsch in einem mehrsprachigen Kontext. Gegenstand derUntersuchungen ist die bilinguale Schule der bündnerromanischen Minde
Externí odkaz:
https://doaj.org/article/1ae9203710624da69989c4f99051f8b9
Publikováno v:
Schweizerische Zeitschrift für Bildungswissenschaften, Vol 26, Iss 3 (2004)
Der Fremdsprachenunterricht in der Schweiz soll in Zukunft besonders über Zielvorgaben in Form von Kompetenzbeschreibungen gesteuert werden. Zur Überprüfung der vorgegebenen Ziele braucht es geeignete Instrumente. Die Kantone der Deutschschweiz ha
Externí odkaz:
https://doaj.org/article/4e30bffb442245c4a96fdbd92014bebb
Autor:
Thomas Studer
Publikováno v:
Linguistik Online, Vol 10, Iss 1 (2002)
Sollen Dialekte im DaF-Unterricht berücksichtigt werden? Neuere Untersuchungen zu den Einstellungen gegenüber Varietäten des Deutschen bei DaF-Lehrenden und -Lernenden (z.B. Baßler / Spiekermann 2001) weisen darauf hin, dass bezüglich dieser Fra
Externí odkaz:
https://doaj.org/article/0db80cb090d44c848c00167f116dc36b
Publikováno v:
Zeitschrift für germanistische Linguistik. 50:104-130
This chapter introduces the multilingual Swiss learner corpus SWIKO while also exploring effects of contextual factors on teenage learner productions in instructed foreign language settings. Corpus-based language acquisition research relies on learne
Autor:
Thomas Studer
Publikováno v:
RIVF
In this short note, we are concerned with the fairness condition "A and B hold almost equally often", which is important for specifying and verifying the correctness of non-terminating processes and protocols. We introduce the logic of temporal domin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c88e8bc40e8d779041de84df1975b0b
Publikováno v:
Journal of Logic and Computation.
Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the
Autor:
Thomas Studer
Publikováno v:
Logical Investigations. 27:124-144
Standard epistemic modal logic is unable to adequately deal with the FrauchigerRenner paradox in quantum physics. We introduce a novel justification logic CTJ, in which the paradox can be formalized without leading to an inconsistency. Still CTJ is