Find publikationer

Søg i alt indhold

Filtre for Publikationer

Søg koncepter
Valgte filtre
2015

Logikkens muligheder og grænser: Om standse-problemet og Gödels sætninger

Braüner, T., 2015, Mening med tiden. Ploug, T. (red.). Aalborg: Aalborg Universitetsforlag, s. 49-66

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2014

First-Order Hybrid Logic: Introduction and Survey

Braüner, T., 2014, I : Logic Journal of the IGPL. 22, 1, s. 155-165

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2006

Kurt Gödel og Ufuldstændigheden

Braüner, T., 2006, I : Weekendavisen.

Publikation: Bidrag til tidsskriftBidrag til avis - AvisartikelFormidling

Intuitionistic Hybrid Logic

Braüner, T. & de Paiva, V., 2006, I : Journal of Applied Logic. 4, 3, s. 231-255 25 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

The Logic of Time and Modality

Braüner, T. (red.), Hasle, P. (red.) & Øhrstrøm, P. (red.), 2006, Kluwer Academic Publishers. 192 s. (Synthese; Nr. 3, Bind 150).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2007

Why does the Proof-Theory of Hybrid Logic Work so Well?

Braüner, T., 2007, I : Journal of Applied Non-Classical Logics. 17, 4, s. 521-543 23 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2010

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. (red.) & Braüner, T. (red.), 2010, Elsevier. 262 s. (Electronic Notes in Theoretical Computer Science; Nr. 262).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2009

HYBRID LOGIC: Dedicated to the Memory of Volker Weber

Braüner, T. (red.) & Bolander, T. (red.), 2009, Springer. (Journal of Logic, Language and Information; Nr. 4, Bind 18).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

2011

Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Braüner, T., 2011, Persistenz - Indexikalität - Zeiterfahrung. Schmechtig, P. & Schönrich, G. (red.). Ontos Verlag, s. 301-336 (Philosophische Analyse / Philosophical Analysis; Nr. 39).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2004

Natural Deduction for Hybrid Logic

Braüner, T., 2004, I : Journal of Logic and Computation. 14, 3, s. 329-353

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2002

Modal logic, truth, and the master modality

Braüner, T., 2002, I : Journal of Philosophical Logic. 31, s. 359-386

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

2000

Determinism and the origins of temporal logic

Braüner, T., Hasle, P. & Øhrstrøm, P., 2000, Advances in Temporal Logic. Barringer, H., Fisher, M., Gabbay, D. & Gough, G. (red.). Kluwer Academic Publishers, s. 185-206 (Applied Logic Series; Nr. 16).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

2005

Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere

Braüner, T., 2005, I : Studia Logica : An International Journal for Symbolic Logic. 81, s. 191-226

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Natural Deduction for First-Order Hybrid Logic

Braüner, T., 2005, I : Journal of Logic, Language and Information. 14, s. 173-198

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2003

Functional completeness for a natural deduction formulation of hybridized S5

Braüner, T., 2003, Advances in Modal Logic. Volume 4. Balbiani, P., Suzuki, N-Y., Wolter, F. & Zakharyaschev, M. (red.). King's College Publications, s. 31-49

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

2005

Two Tableau-Based Decision Procedures for Hybrid Logic

Braüner, T. & Bolander, T., 2005, 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. Schlingloff, H. (red.). Humboldt-Universität zu Berlin, s. 79-96

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

2017

Adfærd, økonomi og politik: væsentlige forskere og begreber

Frid-Nielsen, S. S., Jensen, M. C. D. & Kvist, J., 2017, I : Oekonomi og Politik. 90, 4, s. 3-14

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Det uperfekte menneske og adfærdsbaseret offentlig politik

Frid-Nielsen, S. S. (red.), Jensen, M. C. D. (red.) & Kvist, J. (red.), 2017, Djøf Forlag. (Oekonomi og Politik).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

2019

Derfor opstår der konflikt, når EU skal fastlægge en fælles flygtningepolitik

Frid-Nielsen, S. S., 2019, Politologisk Årbog 2018-2019. Howard Grøn, C. (red.). København: Djøf Forlag, s. 50 (Politologisk Årbog, Bind 2018-2019).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiFormidling

2016

Naturgenopretningen og landskabet

Kristensen, S. B. P., Brandt, J., Svenningsen, S. R., Christensen, A. A. & Pears, D. Q., 28 jan. 2016, I : Jord og Viden. 161, 1, s. 27-30 3 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Åben adgang
Fil
2013

But One Needs to Work!”: Immigrant Integration, Neoliberal Citizenship and Post-Socialist Subjectivities in Berlin-Marzahn

Matejskova, T., 2013, I : Antipode. 45, 4, s. 984–1004

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
2020

Offentlighed som ideal: Det humanistiske blik på politisk kommunikation

Nielsen, N. M., 2020, Politisk kommunikation i humanistisk perspektiv. Nielsen, N. M. & Pedersen, K. (red.). 1. udg. København: Djøf Forlag, s. 17-36 20 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Diskursanalyse i politisk kommunikation

Pedersen, K., 2020, Politisk kommunikation i humanistisk perspektiv. Møller Nielsen, N. & Pedersen, K. (red.). København: Djøf Forlag

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2010

Floral Diaspora in Jamaica Kincaid's Travel Writing

Pecic, Z., 2010, Postcolonial Travel Writing: Critical Explorations. Edwards, J. D. & Graulund, R. (red.). Basingstoke: Palgrave Macmillan, s. 138-155

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2013

Contemporary Caribbean writing and Deleuze: literature between postcolonialism and post-continental philosophy

Pecic, Z., 2013, I : Journal of Postcolonial Writing. 49, 5, s. 626-627

Publikation: Bidrag til tidsskriftAnmeldelseForskningpeer review

2017

Between East and West: Queerness in Zhang Yuan's East Palace, West Palace

Pecic, Z., dec. 2017, Postcolonial Europe: Comparative Reflections after the Empires. Lars, J., Suarez-Krabbe, J., Groes-Green, C. & Pecic, Z. (red.). London: Rowman & Littlefield International, s. 193-214

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Introduction

Jensen, L., Krabbe, J. S., Groes, C. & Pecic, Z. L., dec. 2017, Postcolonial Europe. : Comparative Reflections after the Empires. Rowman & Littlefield International, s. 1-14 14 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2014

Hackerspaces kan give os en ny læringskultur

Hansted, A. B., 21 feb. 2014

Publikation: AndetUdgivelser på nettet - Net-publikationFormidling

Completeness in Hybrid Type Theory

Areces, C., Blackburn, P. R., Huertas, A. & Manzano, M., 2014, I : Journal of Philosophical Logic. 43, 2-3, s. 209-238 30 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2018

Personprofiler som grundlag for serviceinnovation

Hansen, A. V., 2018, CFM forskning igennem 10 år: De vigtigste modeller, metoder og værktøjer. Anker Jensen, P. (red.). Lyngby: Polyteknisk Boghandel og Forlag, s. 116-122 7 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiFormidling

2008

The Algorithm Concept: Tool for Historiographic Interpretation or Red Herring?

Høyrup, J., 2008, The Algorithm Concept - Tool for Historiographic Interpretation or Red Herring?. Beckmann, A., Dimitracopoulos, C. & Löwe, B. (red.). Springer, Bind 5028. s. 261-272 12 s. (Lecture Notes in Computer Science, Bind 5028).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Formel erkendelses teori

Hendricks, V. F., 2008, Filosofisk leksikon: den vestlige verdens erkendelsesteori, metafysik, etik, logik, videnskabsteori og samfundstænkning. Michelsen, K., Harnow Klausen, S. & Posselt, G. (red.). Gyldendal, s. 147

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskning

Sundhed, logisk

Hendricks, V. F., 2008, Filosofisk leksikon: den vestlige verdens erkendelsesteori, metafysik, etik, logik, videnskabsteori og samfundstænkning. Michelsen, K., Harnow Klausen, S. & Posselt, G. (red.). København: Gyldendal, s. 459

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskning

2013

Geometry, Mesopotamian

Høyrup, J., 2013, The Encyclopedia of Ancient History. Bagnall, R. S. (red.). Malden & Oxford: Blackwell Publishing, s. 2894-2895 2 s.

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

2019

Co-designing health promotion at a science centre: distributing expertise and granting modes of participation

Bønnelycke, J., Sandholdt, C. T. & Jespersen, A. P., 2019, I : CoDesign: International Journal of CoCreation in Design and the Arts. 15, 2, s. 128-141

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2014

Careful science? Bodywork and care practices in randomised clinical trials

Jespersen, A. P., Bønnelycke, J. & Eriksen, H. H., jun. 2014, I : Sociology of Health and Illness. 36, 5, s. 655 669 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Psykiatrien i krise - en kamp om definitioner

Oute, J. & Ringer, A., 2014, I : Sygeplejersken. 7, s. 78-82

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Åben adgang

At lytte til patienter: et forskningsprojekt om sygdomsbegreber og brugerinddragelse i psykiatrien

Ringer, A., 2014, Årsberetning 2013: Roskilde Universitet. Roskilde: Roskilde Universitet, s. 91

Publikation: Bidrag til bog/antologi/rapportBidrag til rapportFormidling

2015
2014

At være psykisk syg på den ”rigtige” måde: Et indblik i livet som patient i psykiatrien

Ringer, A., maj 2014

Publikation: AndetUdgivelser på nettet - Net-publikationFormidling

2015

Sygdomsindsigt - for hvis skyld?

Ringer, A., jul. 2015

Publikation: AndetUdgivelser på nettet - Net-publikationFormidling

Åben adgang
2017

Vi skal forstå psykoser på en ny måde

Jansen, J. E., Ringer, A., Risdorf, H. & Ruciman, O., mar. 2017, I : P - Psykologernes Fagmagasin. 2017, 3, s. 34-37

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Åben adgang

Anmeldelse: af "Narrativ Forskning. Tilgange og metoder" - af Inger Glavind Bo, Ann-Dorthe Christensen og Trine Lund Thomsen

Ringer, A., 24 jan. 2017

Publikation: AndetUdgivelser på nettet - Net-publikationFormidling

Åben adgang
2019

"Er dette ikke udtryk for et bestemt paradigme?": Kampen om evidensbegrebet i psykiatri og psykoterapi

Ringer, A. & Rasmussen, S. A., 2019, Er der evidens for evidens?. Dalum Christoffersen, D. & Stender Petersen, K. (red.). Frederiksberg: Samfundslitteratur, s. 91-114

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2015

Introduction

Hvid, H. S., 2015, I : Nordic Journal of Working Life Studies. 5, 3, s. 1 2 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Åben adgang
Fil