A natural deduction approach to dynamic logic (Q4647578): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1555705349
@@ Property / OpenAlex ID: W1555705349 / rank @@
+Normal rank
@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Simple consequence relations
@@ Property / cites work: Simple consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Using typed lambda calculus to implement formal systems on a machine
+Normal rank
@@ Property / cites work @@
+Q4012880
@@ Property / cites work: Q4012880 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3826528
@@ Property / cites work: Q3826528 / rank @@
+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 @@
+Q4385540
@@ Property / cites work: Q4385540 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic Definitions of Programming Languages
@@ Property / cites work: Axiomatic Definitions of Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204068
@@ Property / cites work: Q3204068 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank