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

@@ Property / DOI @@
-.1007/s00354-010-0099-3
@@ Property / DOI: 10.1007/s00354-010-0099-3 / rank @@
-Normal rank
@@ Property / cites work @@
+MiniML
@@ Property / cites work: MiniML / rank @@
+Normal rank
@@ 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
@@ Property / describes a project that uses @@
+MiniML
@@ Property / describes a project that uses: MiniML / 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/s00354-010-0099-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2067687795
@@ Property / OpenAlex ID: W2067687795 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00354-010-0099-3
@@ Property / DOI: 10.1007/S00354-010-0099-3 / rank @@
+Normal rank