• Kroghstræde 3

    9220 Aalborg Ø

    Denmark

Research Output 1975 2019

2019

Compounds as idioms. A case study of a ‘meta-trend’

Götzsche, H., 2019, In : SKASE. Journal of Theoretical Linguistics. VOLUME 16, 2019 No. 1, p. 70-76 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

93 Downloads (Pure)

Logic and Philosophy of Time: Further Themes from Prior, Vol. 2

Blackburn, P. R. (ed.), Hasle, P. (ed.) & Øhrstrøm, P. (ed.), 2019, 1 ed. Aalborg Universitetsforlag. 230 p. (Logic and Philosophy of Time, Vol. 2).

Research output: Book/ReportAnthologyResearchpeer-review

Open Access
File
Primacy
Arthur Prior
Tense
Philosophy of Time
Logic

Tro og kosmologi

Fynbo, J. P. U. & Øhrstrøm, P., 2019, Tro og videnskab. Øhrstrøm, P. (ed.). Forlaget CKT, p. 44-63

Research output: Contribution to book/anthology/report/conference proceedingBook chapterCommunication

Tro og tidslogik

Jakobsen, D. & Øhrstrøm, P., 2019, Forlaget CKT. 18 p.

Research output: Book/ReportAnthologyCommunication

Tro og videnskab

Øhrstrøm, P. (ed.), 2019, Forlaget CKT.

Research output: Book/ReportAnthologyCommunication

Tro og videnskab: Indledning

Øhrstrøm, P., 2019, Tro og videnskab. Øhrstrøm, P. (ed.). Forlaget CKT, p. 5-14

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptCommunication

Tro og videnskab: Principielt set

Christensen, K. & Øhrstrøm, P., 2019, Tro og videnskab. Øhrstrøm, P. (ed.). Forlaget CKT, p. 15-28

Research output: Contribution to book/anthology/report/conference proceedingBook chapterCommunication

2018

A.N. Prior's Logic

Øhrstrøm, P., Hasle, P. F. V. & Jakobsen, D., 2018, Internet Encyclopedia of Philosophy. (Internet Encyclopedia of Philosophy).

Research output: Contribution to book/anthology/report/conference proceedingEncyclopedia chapterResearchpeer-review

Open Access
2 Citations (Scopus)

A critical discussion of Prior’s philosophical and tense-logical analysis of the ideas of indeterminism and human freedom

Øhrstrøm, P., 2018, In : Synthese. 196, 1, p. 69–85

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Komposita som idiomer

Götzsche, H., 2018, Fraseologi – genveje og omveje: festskrift til Torben Arboe i anledning af hans 70-årsdag den 8. september 2018. Schoonderbeck Hansen, I., Lyshøj, K. & Sørensen, V. (eds.). Peter Skautrup Centret for Jysk Dialektforskning, Nordisk, Aarhus Universitet, p. 63-67 5 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Perspektiver på læsning

Knudsen, H. B. S., De Lopez, K. M. J., Morken, F., Götzsche, H. & Frost, J., Dec 2018, In : Psyke & Logos. 39, 2, p. 5-9 5 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Prior's Grappling with Peirce's Existential Graphs

Øhrstrøm, P., 3 Apr 2018, In : History and Philosophy of Logic. 39, 2, p. 158-163 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Existential Graphs
Logic
England
Philosophy
Charles Sanders Peirce

Richard of Lavenham's Analysis of the Future Contingency Problem Represented in Terms of Modern Tempo-Modal Logic

Øhrstrøm, P., 2018, Modern Views of Medieval Logic. Kann, C., Loewe, B., Rode, C. & Uckelman, S. L. (eds.). Leuven: Peeters, p. 219-231 13 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

The Meanings of Life

Götzsche, H., 2018, The Meaning of Language. Götzsche, H. (ed.). Newcastle: Cambridge Scholars Press, p. 1-16 16 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Thoughts on Time, Truth, and Transcendence

Øhrstrøm, P., 2018, God, Time, Infinity. Szatkowski, M. (ed.). Berlin/Boston: De Gruyter, p. 131-146 16 p. (Philosophische Analyse , Vol. 75).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

William of Ockham on Future Contingency

Øhrstrøm, P. & Jakobsen, D., 2018, In : KronoScope.

Research output: Contribution to journalJournal articleResearchpeer-review

contingency
formalization
suggestion
logic
Formalization
2017

C. S. Peirce

Øhrstrøm, P., 2017, The History of Philosophical and Formal Logic: From Aristotle to Tarski. Malpass, A. & Marfori, M. A. (eds.). New York: Bloomsbury Academic, p. 165-182 17 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Formale lingvistiske teorier

Kristensen, S. A., 2017, In : NyS. 52-53, p. 79-107

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Grammatiske metoder

Kristensen, S. A., 2017, 16. Møde om Udforskningen af Dansk Sprog. p. 209-231 (MUDS - Møderne om Udforskningen af Dansk Sprog).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access

In Celebration of Past, Present and Future

Jakobsen, D., Øhrstrøm, P. & Hasle, P., 2017, Logic and Philosophy of Time: Themes from Prior. Aalborg: Aalborg Universitetsforlag, p. 9-27 19 p. (Logic and Philosophy of Time, Vol. 1).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
602 Downloads (Pure)

Logic and Philosophy of Time: Themes from Prior, Volume 1

Hasle, P. (ed.), Blackburn, P. R. (ed.) & Øhrstrøm, P. (ed.), 2017, Aalborg Universitetsforlag. 252 p. (Logic and Philosophy of Time; No. 1).

Research output: Book/ReportAnthologyResearchpeer-review

Open Access
File
7 Downloads (Pure)

Producing and using videos in grammar teaching

Kristensen, S. A., 2017, Proceedings of the 2nd Association for Visual Pedagogy conference. Otrel-Cass, K. (ed.). 1. ed. Dafolo Forlag A/S, p. 81-90 9 p. (Undervisning og læring).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
108 Downloads (Pure)

Teaching Basic Ideas in Logic Using E-learning Tools

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2017, In : EAI Endorsed Transactions on e-Learning. 17, 13, 8 p., e3.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

The Diodorean approach to time and modality from a historical and a philosophical perspective

Corpina, F. & Øhrstrøm, P., 2017, Logic and Philosophy of Time: Themes from Prior. Hasle, P., Blackburn, P. & Øhrstrøm, P. (eds.). Aalborg: Aalborg Universitetsforlag, p. 83-101 19 p. (Logic and Philosophy of Time, Vol. 1).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access

The Prior-von Wright Debate on Anselm's Argument for the Existence of God

Jakobsen, D. & Øhrstrøm, P., 2017, On the Human Condition: Philosophical Essays in Honour of the Centennial Anniversary of Georg Henrik von Wright. Societas Philosophica Fennica, Vol. 93. p. 255-267 13 p. (Acta Philosophica Fennica).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

30 Downloads (Pure)

Towards Logical Analysis of Occurrence Values in Truth-Functional Independent Occurrence Logic

Badie, F. & Götzsche, H., Jul 2017.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

Open Access
File
2016
1 Citation (Scopus)

A.N. Prior's ideas on keeping track of branching time

Øhrstrøm, P. & Ploug, T., 1 Jan 2016, Time and Trace: Multidisciplinary Investigations of Temporality. Gross, S. & Ostovich, S. (eds.). Brill, p. 181-196 16 p. (Study of Time, Vol. 15).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Branching Time
Arthur Prior
Presentist
Formalization
Totality

A. N. Prior’s Ideas on Keeping Track of Branching Time

Øhrstrøm, P. & Ploug, T., 2016, Time and Trace: Multidisciplinary Investigations of Temporality. Brill, p. 179-196 18 p. (The Study of Time, Vol. 15).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Conceptual and Metaphysical Origins and Relevance of Temporal Logic

Jakobsen, D. & Øhrstrøm, P., 2016, PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. Dyreson, C., Hansen, M. R. & Hunsberger, L. (eds.). IEEE, p. 167-176 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Designing a New Tool for E-learning in Syllogistics

Øhrstrøm, P. & Sandborg-Petersen, U., 2016, Proceedings of the Fifth Conceptual Structures Tools & Interoperability Workshop (CSTIW 2016). p. 37-45 9 p. (CEUR Workshop Proceedings).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access

Grammatiske grundbegreber: Sætningen, ordet og sproget

Kristensen, S. A., 2016, Syddansk Universitetsforlag. 299 p. (University of Southern Denmark Studies in Scandinavian Languages and Literatures; No. 130).

Research output: Book/ReportBookResearchpeer-review

2 Citations (Scopus)

Head Orientation Behavior of Users and Durations in Playful Open-Ended Interactions with an Android Robot

Vlachos, E., Jochum, E. A. & Schärfe, H., 2016, Cultural Robotics: First International Workshop, CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers. 1. ed. Springer, p. 67-77 11 p. (Lecture Notes In Artificial Intelligence, Vol. 9549).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Robots
Robotics
Experiments
45 Downloads (Pure)

Investigating Worldviews with Protégé

Bro Wormslev Jakobsen, T., Jakobsen, D. & Øhrstrøm, P., 2016, In : CEUR Workshop Proceedings. p. 28-36 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Ontology

On the Formation and Semantics of New Phrasal Verbs in Danish and Swedish

Götzsche, H., 2016, Word-Formation across Languages. Körtvélyessy, L., Štekauer, P. & Valera, S. (eds.). Cambridge Scholars Press, p. 147-156 10 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Philosophy and Psychology of Time

Mölder, B. (ed.), Arstila, V. (ed.) & Øhrstrøm, P. (ed.), 2016, Springer Publishing Company. (Studies in Brain and Mind, Vol. 9).

Research output: Book/ReportAnthologyResearchpeer-review

Preface

Albretsen, J., Hasle, P. & Øhrstrøm, P., 2016, In : Synthese. 193, 11, p. 3397-3399 3 p.

Research output: Contribution to journalEditorialResearchpeer-review

Open Access
95 Downloads (Pure)

Prior’s paradigm for the study of time and its methodological motivation

Hasle, P. & Øhrstrøm, P., 2016, In : Synthese. 193, 11, p. 3401–3416 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Teaching Syllogistics Using E-learning Tools

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2016, E-Learning, E-Education, and Online Training: Third International Conference, eLEOT 2016, Dublin, Ireland, August 31 - September 2, 2016, Revised Selected Papers. Springer, p. 103-110 8 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Vol. 180).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

electronic learning
Teaching
argumentation
teaching method
learning

The Concept of Time: A Philosophical and Logical Perspective

Øhrstrøm, P., 2016, Philosophy and Psychology of Time. Mölder, B., Arstila, V. & Øhrstrøm, P. (eds.). Springer Publishing Company, p. 9-27 18 p. (Studies in Brain and Mind, Vol. 9).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

The Interpretation of Branching Time Diagrams

Jakobsen, D. & Øhrstrøm, P., 2016, Graph-Based Representation and Reasoning. Haemmerlé, O., Stapleton, G. & Zucker, C. F. (eds.). Springer, p. 31-39 9 p. (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Vol. 9717).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Udfordring

Götzsche, H., 2016, Ebbas Danske Ordbog: Ord til Ebba Hjorth på 70-årsdagen 2. maj 2016. København: Det Danske Sprog- og Litteraturselskab, p. 215-218

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

2015
4 Citations (Scopus)

An Open-Ended Approach to Evaluating Android Faces

Vlachos, E. & Schärfe, H., 2015, Proceedings of the 24th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2015. IEEE, p. 746-751 6 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Robots
Statistical methods
Display devices
Communication

En persuasiv model for digitalisering af kulturarven: Kaj Munks værker som eksempel

Øhrstrøm, P., 2015, In : Munkiana. 19, 57, p. 26-30

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Future Contingents: First published Thu Jun 9, 2011; substantive revision Tue Dec 8, 2015

Øhrstrøm, P. & Hasle., P. F. V., 2015, In : Stanford Encyclopedia of Philosophy. 2015, 28 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Handlingsreguleringer i danske lægebøger

Brunø, L. & Kristensen, S. A., 2015, In : Globe: A Journal of Language, Culture and Communication. 1, 1, p. 152-202 51 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Infinitte ledsætninger

Kristensen, S. A., 2015, 15. møde om Udforskningen af Dansk Sprog. Schoonderbeck Hansen, I. & Hougaard, T. T. (eds.). Aarhus Universitet: Nordisk institut, Aarhus Universitet, p. 197-216 22 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Logical Characterisation of Ontology Construction using Fuzzy Description Logics

Badie, F. & Götzsche, H., 9 Jan 2015.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

Ontology
Inductive logic programming (ILP)
Text processing
Competitive intelligence
Semantic Web

Neksusbegrebet – en ubestemmelig kategori: Festskrift til Sabine Kirchmeier-Andersen i anledning af 60-årsdagen

Götzsche, H., 2 Oct 2015, Rette ord: Festskrift til Sabine Kirchmeier-Andersen i anledning af 60-årsdagen. København: Dansk Sprognævn, p. 141-154 13 p. (Dansk Sprognaevn. Skrifter).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

På vej mod en indeterministisk tidslogik med sand fremtid: Et molinistisk svar

Øhrstrøm, P., 2015, Mening med tiden. Ploug, T. (ed.). Aalborg Universitetsforlag, p. 185-201

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

2 Citations (Scopus)

Teaching Syllogistics Through Gamification and Interactive Proofs

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2015, Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. Conole, G., Klobučar, T., Rensing, C., Konert, J. & Lavoué, É. (eds.). Springer, p. 609-612 4 p. (Lecture Notes in Computer Science; No. 9307).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review