Classical natural deduction for S4 modal logic (Q1758660): Difference between revisions

@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219051
@@ Property / cites work: Q4219051 / rank @@
+Normal rank
@@ Property / cites work @@
+An environment machine for the λμ-calculus
@@ Property / cites work: An environment machine for the λμ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411844
@@ Property / cites work: Q4411844 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-Name and Call-by-Value in Normal Modal Logic
+Normal rank
@@ Property / cites work @@
+A new S4 classical modal logic in natural deduction
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Control categories and duality: on the categorical semantics of the lambda-mu calculus
+Normal rank
@@ Property / cites work @@
+MetaML and multi-stage programming with explicit annotations
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank