Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability (Q2376368): Difference between revisions

@@ Property / author @@
+Jurate Saskalauskaite
@@ Property / author: Jurate Saskalauskaite / 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.1007/s10986-007-0019-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2157031388
@@ Property / OpenAlex ID: W2157031388 / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness of the Modal μ-Calculus Hierarchy
@@ Property / cites work: Strictness of the Modal μ-Calculus Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for temporal logics of knowledge
@@ Property / cites work: Resolution for temporal logics of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for reasoning about knowledge and branching time
+Normal rank
@@ Property / cites work @@
+On the support of distributions of integer-valued additive functions
+Normal rank
@@ Property / cites work @@
+Q3417384
@@ Property / cites work: Q3417384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3594284
@@ Property / cites work: Q3594284 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
+Normal rank
@@ Property / cites work @@
+Computational Logic in Multi-Agent Systems
@@ Property / cites work: Computational Logic in Multi-Agent Systems / rank @@
+Normal rank