A formal approach to the problem of logical non-omniscience

zbMATH Open1483.68377arXiv1707.08747MaRDI QIDQ3384071FDOQ3384071

Authors: Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor, Scott M. Garrabrant 

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1707.08747

Recommendations

• A nonstandard approach to the logical omniscience problem
• Probabilities on sentences in an expressive logic
• Towards an Epistemic Logic for Uncertain Agents
• Tractable depth-bounded logics and the problem of logical omniscience
• scientific article; zbMATH DE number 1453151

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Microeconomic theory (price theory and economic markets) (91B24)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Probability Theory
• A formal theory of inductive inference. Part I
• Title not available (Why is that?)
• Belief, awareness, and limited reasoning
• Conditionalization and observation
• Concerning measures in first order calculi
• Truth and Probability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Foundations of Causal Decision Theory
• THE COMPLEXITY OF FINITE OBJECTS AND THE DEVELOPMENT OF THE CONCEPTS OF INFORMATION AND RANDOMNESS BY MEANS OF THE THEORY OF ALGORITHMS
• A formal theory of inductive inference. Part II
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Bounded gaps between primes
• Title not available (Why is that?)
• Probabilities over rich languages, testing and randomness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic epistemic logic for implicit and explicit beliefs
• Topology, cosmology and convention
• On the axiomatic treatment of probability
• Title not available (Why is that?)
• Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
• Probabilities on sentences in an expressive logic
• How to express self-referential probability. A Kripkean proposal

Cited In (6)

• A stochastic model of mathematics and science
• The defeater version of Benacerraf's problem for a priori knowledge
• Title not available (Why is that?)
• Duhem's problem revisited: logical versus epistemic formulations and solutions
• The problem of logical omniscience, the preface paradox, and doxastic commitments
• A Theory of Bounded Inductive Rationality

This page was built for publication: A formal approach to the problem of logical non-omniscience

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384071)