Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.

Petr Cintula Carles Noguera

Published in: WoLLIC (2014)

Keyphrases

modal logic
special case
decision procedures
temporal logic
nonmonotonic logics
epistemic logic
artificial intelligence
inference rules
description logics
classical logic
general theory