Propositional Logic Limitations (Truth Functional)
- Bel(Janine, Father (Zeus, Cronos))
- (Zeus = Jupiter)
- Bel(Janine, Father (Jupiter, Cronos))
- Janine believing p is not dependent on the truth of p.
Syntatic Component
- Modal Language Formalism
- Meta-Language Formalism
Semantic Component
- Possible Worlds Semantics (More Common)
- Interpreted Symbolic Structures (Use of Belief Data Structures)
[IntentionalAttitudes | BeliefDesireIntention | PossibleWorlds]
(last edited October 31, 2000)
Find Page by browsing or searching