Sciweavers

IJCAI
1993
14 years 23 days ago
A Representationalist Theory of Intention
Several formalizations of cognitive state that include intentions and beliefs based on normal modal logics (NMLs) have appeared in the recent literature. We argue that NMLs are no...
Kurt Konolige, Martha E. Pollack
TABLEAUX
2009
Springer
14 years 6 months ago
Modular Sequent Systems for Modal Logic
We see cut-free sequent systems for the basic normal modal logics formed by any combination the axioms d, t, b, 4, 5. These systems are modular in the sense that each axiom has a c...
Kai Brünnler, Lutz Straßburger