Modal Logics and Group Polarization.

Mina Young Pedersen Sonja Smets Thomas Ågotnes

Published in: J. Log. Comput. (2021)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
epistemic logic
nonmonotonic logics
situation calculus
default logic
artificial intelligence
np hard
satisfiability problem
modal operators