×

Found 12 Documents (Results 1–12)

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).
PDFBibTeX XMLCite

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Biographic Reference