• Rendsburggade 14, 6-209

    9000 Aalborg

    Danmark

  • Rendsburggade 14, 6-209

    9000 Aalborg

    Danmark

1975 …2019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 1975 2019

A.N. Prior and the Development of Tense Logic

Hasle, P. & Øhrstrøm, P., 2003, I : Phi News. 3, s. 15-37

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A.N.Prior og den specielle relativitetsteori

Øhrstrøm, P., 2003, Tid: fysiske, filosofiske og videnskabsteoretiske perspektiver. Berg Olsen, J-K. (red.). Frederiksberg: Biofolia, s. 87-104

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

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. (red.). Brill, s. 181-196 16 s. (Study of Time, Bind 15).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Branching Time
Arthur Prior
Presentist
Formalization
Totality

A.N.Prior's Ideas on the Relation Between Semantics and Axiomatics for Temporal Logic

Øhrstrøm, P., 1997, Perspectives on Time. Faye, Jan : Scheffler, Uwe : Urchs, Max (eds.) (red.). Dordrecht: Kluwer Academic Publishers, s. 443-458 (Boston Studies in the Philosophy of Science; Nr. 189).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

7 Citationer (Scopus)

A.N. Prior's Logic

Øhrstrøm, P. & Hasle., P. F. V., 2006, The Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (red.). Pergamon Press, Bind 7. s. 399-446

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

A.N. Prior's Logic

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingEncyclopædiartikelForskningpeer review

Åben adgang
18 Citationer (Scopus)

A. N. Prior's Rediscovery of Tense Logic

Øhrstrøm, P. & Hasle, P., 1993, I : Erkenntnis: An International Journal of Scientific Philosophy. 39, s. 23-50

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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, s. 179-196 18 s. (The Study of Time, Bind 15).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2 Citationer (Scopus)

A.N. Prior’s Ideas on Tensed Ontology

Jakobsen, D., Schärfe, H. & Øhrstrøm, P., 2011, I : Lecture Notes in Computer Science. 6828, s. 118-130 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

A.N. Prior’s Tense Logic and the Special Theory of Relativity

Øhrstrøm, P., 1990, Physical Interpretations of Relativity Theory, Vol. II. London, s. 207-214

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

3 Citationer (Scopus)

A Conceptual Analysis of Difficult Situations - developing systems for teenagers with ASD

Schärfe, H., Øhrstrøm, P. & Gyori, M., 2009, I : CEUR Workshop Proceedings. 483

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

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

Øhrstrøm, P., 2018, I : Synthese. 196, 1, s. 69–85

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
decision making leeway
doctrine
formalization
Tense
Human Freedom

Analysis of Some Statements Regarding the Beginning

Øhrstrøm, P., 1985, Faith and Science in Society. Oxford

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

A New Tempo-modal Logic for Emerging Truth

Wegener, M. & Øhrstrøm, P., 1997, Perspectives on Time. Faye, Jan : Scheffler, Uwe : Urchs, Max (eds.) (red.). Dordrecht: Kluwer Academic Publishers, s. 417-442 (Boston Studies in the Philosophy of Science; Nr. 189).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

6 Citationer (Scopus)

Anselm, Ockham and Leibniz on Divine Foreknowledge and Human Freedom

Øhrstrøm, P., 1984, I : Erkenntnis: An International Journal of Scientific Philosophy. 21, s. 209-222 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Ansvar: Fagligt og personligt

Øhrstrøm, P., 2011, Sundhedsfaglig ledelse. Uhrenfeldt, L. & Elgaard Sørensen, E. (red.). 1 udg. Gad, s. 240-247 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Anvendt etik – argumentation og samfundsdebat’

Øhrstrøm, P., 2003, IT-etiske temaer. Øhrstrøm, Peter (red.). Esbjerg : Institut for Fagsprog, Kommunikation og Informationsvidenskab: Syddansk Universitet

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

3 Citationer (Scopus)
2016 Downloads (Pure)

A priorean approach to time ontologies

Øhrstrøm, P. & Schärfe, H., 2004, Concetptual structures at work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 proceedings. Wolff, K. E. (red.). IEEE Computer Society Press, 388 s. (Lecture Notes in Computer Science; Nr. 3127).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Ontology
Logic
Arthur Prior
Tense

Argumentationen i Det Etiske Råds redegørelser

Øhrstrøm, P., 2012, Praksisformernes etik: bidrag til anvendt etik. Kjærsdam Telléus, P. & Pahuus, M. (red.). Aalborg: Aalborg Universitetsforlag, s. 103-124 22 s. (Applied Philosophy / Anvendt Filosofi, Bind 3).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

A Software System for Learning Peircean Graphs

Øhrstrøm, P., Braüner, T. & Donner, C., 1999, I : Lecture Notes in Computer Science. s. 184-197

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

16 Citationer (Scopus)

Branching time, indeterminism and tense logic

Ploug, T. & Øhrstrøm, P., 1 okt. 2012, I : Synthese. 188, 3, s. 367-379 13 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

3 Citationer (Scopus)

Branching Time as a Conceptual Structure

Øhrstrøm, P., Schärfe, H. & Ploug, T., 2010, Conceptual Structures: From Information to Intelligence. Croitoru, M., Ferré, S. & Lukose, D. (red.). Springer, Bind LNAI 6208. s. 125-138 13 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Buridan on Interval Semantics for Temporal Logic

Øhrstrøm, P., 1984, I : Logique et Analyse. 106, s. 211-215 5 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

C. S. Peirce

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

C.S. Peirce and the Quest for Gamma Graphs

Øhrstrøm, P., 1997, Conceptual Structures : Fulfilling Peirce's Dream : fifth international conference on conceptual structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings: Lecture Notes in Artificial Intelligence : 1257. Lukose, Dickson ...[et.al.] (eds. ) (red.). IEEE Computer Society Press, s. 357-370

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

C. S. Peirce betydning for genopdagelsen af tidslogikken

Øhrstrøm, P., 1993, Tegn & data. Jensen, Jens F. : Lytje, Inger og Øhrstrøm, Peter (red.) (red.). Aalborg Universitetsforlag, s. 119-138 (FISK-serien; Nr. 2).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

C.S. Peirce on the Possibility of a Temporal Logic, WPCS-92-9

Øhrstrøm, P., 1992, Cognitive Science Center, Roskilde. 15 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskningpeer review

Case Study: Kaj Munk: Using Persuasive Learning

Sørensen, C. G., Gram-Hansen, S. B. & Øhrstrøm, P., 3 sep. 2013, Proceedings of the International Workshop on EuroPLOT Persuasive Technology for Learning, Education, and Teaching. Behringer, R. & Sinclair, G. (red.). 2 udg. EuroPLOT, s. 45-53 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Changes in Events and Changes in Things [annoteret udgave af Arthur N. Priors artikel]

Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J., 2003, Papers on Time and Tense. Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J. (red.). Oxford University Press

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKommentarForskning

5 Citationer (Scopus)

Classical Syllogisms in Logic Teaching

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2013, Conceptual Structures for STEM Research and Education: 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings. Pfeiffer, H. D., Ignatov, D. I., Poelmans, J. & Gadiraju, N. (red.). Springer Publishing Company, Bind 7735. s. 31–43 13 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Cognitive Studies of Ethical Reasoning Based on the KARDIO - simulator

Øhrstrøm, P., Holm, S., Rossel, P. & Pedersen, S. A., 2000, Mathematical Modelling in Medicine. Ottesen, J. T. : Danielsen, M. (eds.) (red.). Amsterdam: IOS Press, s. 217-227 (Studies in Health Technology and Informatics; Nr. 71).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Computer Aided Narrative Analysis using Conceptual Graphs

Øhrstrøm, P., 2000, Working with Conceptual Structures : Contributions to ICC 200 8th International Conference on Conceptual Structures: Logical Linguistic, and Computational Issues, August 14-18, 2000, Darmstadt. Stumme, Gerd (ed.) (red.). Shaker Verlag, s. 16-29

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Computer Aided Narrative Analysis using Conceptual Graphs

Schärfe, H. & Øhrstrøm, P., 2000, Working with Conceptual Structures - Contributions to ICCS 2000. Stumme, G. (red.). Shaker Verlag, s. 16-29

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Computerisering af vore liv i etisk belysning

Øhrstrøm, P., 2003, I : Nyhedsbrev fra V-CHI. s. 6-7

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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. (red.). IEEE, s. 167-176 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Contemplation and Action [annoteret udgave af Arthur N. Priors artikel[

Hasle, P. & Øhrstrøm, P., 2003, Papers on Time and Tense. Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J. (red.). Oxford: Oxford University Press

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKommentarForskning

4 Citationer (Scopus)

Conventionality in Distant Simultaneity

Øhrstrøm, P., 1980, I : Foundations of Physics. 10, 3-4, s. 333-343 11 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Counterfactuals and Branching Time in Automated Text Analysis

Hasle., P. F. V. & Øhrstrøm, P., 1992, Computational Approaches to Text Understanding. Copenhagen: Museum Tusculanum, s. 13-27

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Darwin's Perplexing Paradox: Intelligent Design in Nature

Thorvaldsen, S. & Øhrstrøm, P., 2013, I : Perspectives in Biology and Medicine. 56, 1, s. 78-98 21 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Dawkins' anti-gudsbevis i kritisk belysning

Øhrstrøm, P., 2008, At tænke filosofisk: festskrift for Lennart Nørreklit. Etemadi, M. H. & Zeller, J. (red.). Aalborg: Academic Publisher, s. 43-50

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Den elektroniske patientjournal kan fremme etikken i sundhedssektoren

Øhrstrøm, P., 2005, I : Ugeskrift for læger. 14, 167

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Den lykkelige kærlighed til logikken

Øhrstrøm, P., 2003, Kærlighed og tænkning. Etemadi, M. (red.). Aalborg: Institut for Uddannelse, Læring og Filosofi, Aalborg Universitet, (Skrifter om Filosofi og Videnskabsteori; Nr. 3).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Den nødvendig etiske diskussion

Øhrstrøm, P., 1998, Gud og Europa : Kristne ideer i moderne politik. Dosenrode, Søren von : Øhrstrøm, Peter (red.) (red.).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

304 Downloads (Pure)

Den tidslogiske analyse af determinismeproblemet

Øhrstrøm, P., 2010, Filosofi: 5 spørgsmål. Thomsen, F. K. & Holtermann, J. V. H. (red.). Automatic Press, s. 223-240

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Fil

Den videnskabelige information og teologien

Øhrstrøm, P., 1990, Gud og Naturen. Munksgaard , s. 90-95 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Den virkelige lokale tid

Øhrstrøm, P., 1999, Tiden i historien. Horsbøll, Henrik ...[et al.] (red.) (red.). Institut for Historie og Områdestudier, Aarhus Universitet, s. 41-50 (Den Jyske Historiker; Nr. Julenummer 1999).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Design and Implementation of a Symptom Language used for Diagnosing Component Faults in a Nuclear Power Plant, RISØ-I-582

Øhrstrøm, P. & Nielsen, F. R., 1991, Risø National Laboratory. 10 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskningpeer 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). s. 37-45 9 s. (CEUR Workshop Proceedings).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang

Determinism and the Origins of Temporal Logic

Øhrstrøm, P., Braüner, T. & Hasle, P., 2000, Advances in Temporal Logic. Barring, H. ...[et al.] (eds.) (red.).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning