Øhrstrøm, Peter C. S. Peirce. (English) Zbl 1387.03004 Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 165-181 (2017). Reviewer: Antonín Slavík (Praha) MSC: 03-03 03A05 03B05 03B10 03B44 03B45 01A55 01A60 PDFBibTeX XMLCite \textit{P. Øhrstrøm}, in: The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic. 165--181 (2017; Zbl 1387.03004)
Jakobsen, David; Øhrstrøm, Peter The interpretation of branching time diagrams. (English) Zbl 1398.03022 Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 31-39 (2016). MSC: 03A05 03B44 03B65 PDFBibTeX XMLCite \textit{D. Jakobsen} and \textit{P. Øhrstrøm}, Lect. Notes Comput. Sci. 9717, 31--39 (2016; Zbl 1398.03022) Full Text: DOI
Hasle, Per; Øhrstrøm, Peter Prior’s paradigm for the study of time and its methodological motivation. (English) Zbl 1360.03032 Synthese 193, No. 11, 3401-3416 (2016). MSC: 03A05 03-03 01A70 03B44 PDFBibTeX XMLCite \textit{P. Hasle} and \textit{P. Øhrstrøm}, Synthese 193, No. 11, 3401--3416 (2016; Zbl 1360.03032) Full Text: DOI Link
Albretsen, Jørgen (ed.); Hasle, Per (ed.); Øhrstrøm, Peter (ed.) Preface. (English) Zbl 1360.03010 Synthese 193, No. 11, 3397-3399 (2016). MSC: 03-06 03-03 01A60 01A70 03A05 03B44 03B45 PDFBibTeX XMLCite \textit{J. Albretsen} (ed.) et al., Synthese 193, No. 11, 3397--3399 (2016; Zbl 1360.03010) Full Text: DOI
Ploug, Thomas; Øhrstrøm, Peter Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters. (English) Zbl 1279.03009 Synthese 188, No. 3, 367-379 (2012). MSC: 03-03 01A60 03A05 03B44 PDFBibTeX XMLCite \textit{T. Ploug} and \textit{P. Øhrstrøm}, Synthese 188, No. 3, 367--379 (2012; Zbl 1279.03009) Full Text: DOI
Øhrstrøm, Peter Time and logic: A. N. Prior’s formal analysis of temporal concepts. (English) Zbl 1220.03007 Ferré, Sébastien (ed.) et al., Formal concept analysis. 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01814-5/pbk). Lecture Notes in Computer Science 5548. Lecture Notes in Artificial Intelligence, 66-81 (2009). MSC: 03A05 03B44 03B45 PDFBibTeX XMLCite \textit{P. Øhrstrøm}, Lect. Notes Comput. Sci. 5548, 66--81 (2009; Zbl 1220.03007) Full Text: DOI
Hasle, Per; Øhrstrøm, Peter The flow of time and logic – and computer science. (English) Zbl 1169.03331 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 82, 191-226 (2004). MSC: 03B44 03-03 03B70 68Q60 PDFBibTeX XMLCite \textit{P. Hasle} and \textit{P. Øhrstrøm}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 82, 191--226 (2004; Zbl 1169.03331)
Øhrstrøm, Peter; Schärfe, Henrik A Priorean approach to time ontologies. (English) Zbl 1104.68740 Wolff, Karl Erich (ed.) et al., Conceptual structures at work. 12th international conference on conceptual structures, ICCS 2004, Huntsville, AL, USA, July 19–23, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22392-4/pbk). Lecture Notes in Computer Science 3127. Lecture Notes in Artificial Intelligence, 388-401 (2004). MSC: 68T30 03B44 PDFBibTeX XMLCite \textit{P. Øhrstrøm} and \textit{H. Schärfe}, Lect. Notes Comput. Sci. 3127, 388--401 (2004; Zbl 1104.68740) Full Text: DOI
Braüner, Torben; Hasle, Per; Øhstrøm, Peter Determinism and the origins of temporal logic. (English) Zbl 0945.03016 Barringer, Howard (ed.) et al., Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 16, 185-206 (2000). MSC: 03B44 03A05 03-03 PDFBibTeX XMLCite \textit{T. Braüner} et al., Appl. Log. Ser. 16, 185--206 (2000; Zbl 0945.03016)
Prior, Arthur [Øhrstrøm, Peter] Two essays on temporal realism (with an introduction by Peter Øhrstrøm). (English) Zbl 0912.03001 Copeland, B. J. (ed.), Logic and reality: essays on the legacy of Arthur Prior. Including papers from the Arthur Prior memorial conference, University of Canterbury, Christchurch, New Zealand, 1989. Oxford: Clarendon Press. 43-51 (1996). MSC: 03-03 01A75 03B45 03A05 PDFBibTeX XMLCite \textit{A. Prior}, in: Logic and reality: essays on the legacy of Arthur Prior. Including papers from the Arthur Prior memorial conference, University of Canterbury, Christchurch, New Zealand, 1989. Oxford: Clarendon Press. 43--51 (1996; Zbl 0912.03001)
Øhrstrøm, Peter; Hasle, Per F. V. Temporal logic. From ancient ideas to artificial intelligence. (English) Zbl 0855.03003 Studies in Linguistics and Philosophy. 57. Dordrecht: Kluwer Academic Publishers. viii, 413 p. Dfl. 140.00; $ 99.00; £63.00 (1995). Reviewer: A.Tzouvaras (Thessaloniki) MSC: 03-02 03A05 03B45 03-03 PDFBibTeX XMLCite \textit{P. Øhrstrøm} and \textit{P. F. V. Hasle}, Temporal logic. From ancient ideas to artificial intelligence. Dordrecht: Kluwer Academic Publishers (1995; Zbl 0855.03003)
Øhrstrøm, Peter F. C. H. Arentz’s mathematical arguments against the ideas of an infinite world. (Danish. EB summary) Zbl 0575.03004 Normat 33, 176-185 (1985). MSC: 03A05 03-03 PDFBibTeX XMLCite \textit{P. Øhrstrøm}, Normat 33, 176--185 (1985; Zbl 0575.03004)