×

Found 41 Documents (Results 1–41)

A theory of higher order probabilities. (English) Zbl 1384.03113

Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 91-106 (2016).
MSC:  03B48 60A05
PDFBibTeX XMLCite
Full Text: DOI Link

Context-dependent utilities. A solution to the problem of constant acts in Savage. (English) Zbl 1471.91151

van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9394, 90-101 (2015).
MSC:  91B16 91B06
PDFBibTeX XMLCite
Full Text: DOI

Some thoughts and a proposal in the philosophy of mathematics. (English) Zbl 1197.00018

Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 351-372 (2005).
MSC:  00A30
PDFBibTeX XMLCite

Non-standard models in a broader perspective. (English) Zbl 1068.03007

Enayat, Ali (ed.) et al., Nonstandard models of arithmetic and set theory. Proceedings of the AMS special session, Baltimore, MD, USA, January 15–16, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3535-1/pbk). Contemporary Mathematics 361, 1-22 (2004).
PDFBibTeX XMLCite

Replay, recovery, replication, and snapshots of nondeterministic concurrent programs. (English) Zbl 1314.68183

Proceedings of the tenth annual ACM symposium on principles of distributed computing, PODC ’91, Montreal, QC, Canada, August 19–21, 1991. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-439-2). 241-255 (1991).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field