Parametrized modal logic I: An introduction.

Philippe Balbiani Saúl Fernández González

Published in: AiML (2022)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
situation calculus
default logic
conditional logic
nonmonotonic logics
model checking
dynamic logic
prime implicates
multi agent
cooperative
multi agent systems