Generalized DEL-Sequents (Q2915058): Difference between revisions

@@ Property / describes a project that uses @@
+Lotrecscheme
@@ Property / describes a project that uses: Lotrecscheme / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2172700246
@@ Property / OpenAlex ID: W2172700246 / rank @@
+Normal rank
@@ Property / cites work @@
+An internal version of epistemic logic
@@ Property / cites work: An internal version of epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+DEL-sequents for regression and epistemic planning
+Normal rank
@@ Property / cites work @@
+Tableau Method and NEXPTIME-Completeness of DEL-Sequents
+Normal rank
@@ Property / cites work @@
+Tableaux for Public Announcement Logic
@@ Property / cites work: Tableaux for Public Announcement Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848068
@@ Property / cites work: Q2848068 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
+Normal rank
@@ Property / cites work @@
+A spectrum of definitions for temporal model-based diagnosis
+Normal rank
@@ Property / cites work @@
+Belief extrapolation (or how to reason about observations and unpredicted change)
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for Dynamic Epistemic Logics
@@ Property / cites work: Terminating Tableaux for Dynamic Epistemic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+LotrecScheme
@@ Property / cites work: LotrecScheme / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2915058