Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Encyclopædiartikel
2017

Hybrid Logic

Braüner, T., 2017, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (red.). Stanford University

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskningpeer review

Åben adgang
2013

Hybrid Logic

Braüner, T., 2013, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (red.). 2 udg. Springer Science+Business Media, Bind 17. s. 1-77

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskningpeer review

2011

Hybrid Logic (substantive revised version)

Braüner, T., 2011, The Stanford Encyclopedia of Philosophy. www: Stanford University

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskningpeer review

2006

First-Order Modal Logic

Braüner, T. & Ghilardi, S., 2006, Handbook of Modal Logic. Blackburn, P., van Benthem, J. & Wolter, F. (red.). Amsterdam: Pergamon Press, s. 549-620 73 s. (Studies in Logic and Practical Reasoning; Nr. 3).

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskning

Hybrid Logic

Braüner, T., 2006, The Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford University Press

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskning