Logic for Chkhartishvili-Novikov Structures of Beliefs.

Published in: Int. J. Unconv. Comput. (2020)

Keyphrases

propositional dynamic logic
decision making
logic programming
modal logic
automated reasoning
multi valued
data sets
neural network
multi agent
logical framework
deontic logic
proof theory