Palavra-chave: MODAL LOGIC

PARACONSISTENT LOGIC UNCERTAINTY LÓGICA MULTIMODAL BDI LOGICS DIOID INTUITIONISTIC LOGIC GÖDEL MANY-VALUED LOGIC ÁLGEBRA EVENT DISCRETE CLASSICAL LOGIC FIBRING SEMANTICS PROPOSITIONAL LOGICS DISCRETE EVENT TABLEAUX