Mechanizing common knowledge logic using COQ (Q2643149): Difference between revisions

@@ Property / cites work @@
+About cut elimination for logics of common knowledge
+Normal rank
@@ Property / cites work @@
+Agreeing to disagree
@@ Property / cites work: Agreeing to disagree / rank @@
+Normal rank
@@ Property / cites work @@
+Backward induction and common knowledge of rationality
+Normal rank
@@ Property / cites work @@
+Encoding modal logics in logical frameworks
@@ Property / cites work: Encoding modal logics in logical frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled propositional modal logics: theory and practice
+Normal rank
@@ Property / cites work @@
+Labelled modal logics: Quantifiers
@@ Property / cites work: Labelled modal logics: Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic propositional dynamic logic: finite models, complexity, and completeness
+Normal rank
@@ Property / cites work @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+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 @@
+Q4698061
@@ Property / cites work: Q4698061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4221242
@@ Property / cites work: Q4221242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+The propositional dynamic logic of deterministic, well-structured programs
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Semantics for SPKI
@@ Property / cites work: A Formal Semantics for SPKI / rank @@
+Normal rank
@@ Property / cites work @@
+Common knowledge logic and game logic
@@ Property / cites work: Common knowledge logic and game logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Defining Logical Frameworks
@@ Property / cites work: A Framework for Defining Logical Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatic Characterization of Common Knowledge
@@ Property / cites work: An Axiomatic Characterization of Common Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q5289009
@@ Property / cites work: Q5289009 / rank @@
+Normal rank
@@ Property / cites work @@
+A study of Kripke-type models for some modal logics by Gentzen's sequential method
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank