A sound and complete proof theory for the generalized logic of only knowing (Q4421274): Difference between revisions

@@ Property / author @@
-Jian-Hua Chen
@@ Property / author: Jian-Hua Chen / rank @@
-Normal rank
@@ Property / author @@
+Jian-Hua Chen
@@ Property / author: Jian-Hua Chen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/095281398146680
+Normal rank
@@ Property / OpenAlex ID @@
+W2015269192
@@ Property / OpenAlex ID: W2015269192 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating only knowing to minimal belief and negation as failure
+Normal rank
@@ Property / cites work @@
+The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+All I know: A study in autoepistemic logic
@@ Property / cites work: All I know: A study in autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal belief and negation as failure
@@ Property / cites work: Minimal belief and negation as failure / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank