Common knowledge does not have the Beth property (Q987837): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2009.02.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2055715986
@@ Property / OpenAlex ID: W2055715986 / rank @@
+Normal rank
@@ Property / cites work @@
+Partition-based logical reasoning for first-order and propositional theories
+Normal rank
@@ Property / cites work @@
+Q3483262
@@ Property / cites work: Q3483262 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in practical formal development
@@ Property / cites work: Interpolation in practical formal development / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic Cut-elimination for Common Knowledge
@@ Property / cites work: Syntactic Cut-elimination for Common Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic cut-elimination for common knowledge
@@ Property / cites work: Syntactic cut-elimination for common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641128
@@ Property / cites work: Q5641128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Abstractions from proofs
@@ Property / cites work: Abstractions from proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free common knowledge
@@ Property / cites work: Cut-free common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+State of the Union: Type Inference Via Craig Interpolation
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logics of “the next” do not have the beth property
+Normal rank
@@ Property / cites work @@
+Temporal logics with ``the next'' operator do not have interpolation or the Beth property
+Normal rank
@@ Property / cites work @@
+Q3363966
@@ Property / cites work: Q3363966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank