𝔖 Bobbio Scriptorium
✦   LIBER   ✦

About perezone derivatives, a theoretical approach

✍ Scribed by M. Rubio; G. Guillermo Ramírez; Federico García Jiménez; Roberto Salcedo; M.A. Belmont

Book ID
114142173
Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
555 KB
Volume
397
Category
Article
ISSN
0166-1280

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning tractably about explicit belie
Reasoning tractably about explicit belief: A model-theoretic approach
✍ Kwang Mong Sim 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 273 KB 👁 2 views

Existing epistemic logics such as the logic of implicit and explicit belief and the logic of awareness adopt a deducti¨e-theoretic approach for characterizing belief. In this approach, an agent represents the state of the world with a conjunction of axioms in its knowledge Ž . base KB and evaluates