These notes are primarily based on [Moore, 1985]. 2. Language, valuations...  Home/Search
Context
Related
| umich.edu/~rthomaso/courses/p...ael.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umich.edu/~rthomaso/courses/ph... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: tion 8. # is a stable expansion of # i#: # = Cl b ({A/ ##Bel(#)#DisBel(#)}). 4. Some Theorems Definition 9. A formula A is in modal conjunctive normal form (MCNF) if A and every B such that B is a subformula of A have the form A 1 . . . A n , where each A i has the form B 1 . . . # Bm , and each B i is either an atom, the negation of an atom, a necessity C, or the negation C of a necessity formula. (This is like boolean conjunctive normal form, but with necessity formulas treated as ... (Update)
Active bibliography (related documents): More All
0.0: Stratification and Tractability in Nonmonotonic Reasoning - Rintanen (1992) (Correct)
0.0: Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning - Niemelä (1993) (Correct)
0.0: An Introspective Machine - Vreeswijk (1989) (Correct)
Similar documents based on text: More All
0.4: Multi-Valued Autoepistemic Logic - Stärk (Correct)
0.3: Autoepistemic Logics of Closed Beliefs and Logic Programming - Przymusinski (1995) (Correct)
0.3: A Decision Method for Nonmonotonic Reasoning Based on.. - Niemelä (1994) (Correct)
BibTeX entry: (Update)
@misc{ are-philosophy,
author = "These Notes Are",
title = "Philosophy 416: Modal Logic Winter, 2004 Notes on Autoepistemic Logic Version
of: April 29, 2004 1. Sources",
url = "citeseer.ist.psu.edu/668627.html" }
Citations (may not include all citations):311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC