Some General Completeness Results for Propositionally Quantified Modal Logics.

Yifeng Ding Yipu Li

Published in: CoRR (2024)

Keyphrases

modal logic
inference rules
temporal logic
special case
decision procedures
nonmonotonic logics
artificial intelligence
default logic
nonmonotonic reasoning