scientific article; zbMATH DE number 7444845

MaRDI QIDQ3384059zbMATH OpenFDO

Authors Adam Bjorndahl, Joseph Y. Halpern

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08738, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.6

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Probability logic for type spaces
• A Type Theory for Probabilistic \lambda –calculus
• An infinitary probability logic for type spaces
• A type theory for probability density functions
• Towards probabilistic reasoning in type theory -- the intersection type case
• From type theory to setoids and back
• Type space functors and interpretations in positive logic
• The topology-free construction of the universal type structure for conditional probability systems
• A type theory for probabilistic and Bayesian reasoning
• Type Theory and the Theory of Meaning

Cites work

• A logic for reasoning about probabilities
• A model-theoretic analysis of knowledge
• An infinitary probability logic for type spaces
• Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
• Formulation of Bayesian analysis for games with incomplete information
• Games with Incomplete Information Played by “Bayesian” Players Part II. Bayesian Equilibrium Points
• scientific article; zbMATH DE number 3616386 (Why is no real title available?)
• scientific article; zbMATH DE number 1324223 (Why is no real title available?)
• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• Interactive epistemology. II: Probability
• Knowledge spaces with arbitrarily high rank
• Modal logic
• Probability logic for type spaces
• Reasoning about knowledge and probability
• Topology-free typology of beliefs

Cited in

(2)

• Changing types: information dynamics for qualitative type spaces
• Exploiting belief bases for building rich epistemic structures

This page was built for publication:

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