Palavra-chave: MODAL LOGIC

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