Logics of (In)sane and (Un)reliable Beliefs.

Published in: Log. J. IGPL (2022)

Keyphrases

propositional dynamic logic
expressive power
modal logic
inference rules
case study
cost effective
neural network
search engine
decision making
temporal logic
highly accurate
belief functions
modal operators
propositional calculus