The logic of guesses: how people communicate probabilistic information.

Tadeg Quillien Chris Lucas

Published in: CogSci (2022)

Keyphrases

predicate logic
modal logic
classical logic
logic programming
multi valued
database
databases
case study
multiscale
automated reasoning
computational properties
set theory
formal language
epistemic logic
asynchronous circuits
proof theory