Cut-free Gentzen calculus for multimodal CK (Q764259): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2011.10.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2020894459
@@ Property / OpenAlex ID: W2020894459 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346206
@@ Property / cites work: Q4346206 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Monad as modality
@@ Property / cites work: Monad as modality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222777
@@ Property / cites work: Q4222777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461801
@@ Property / cites work: Q4461801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866079
@@ Property / cites work: Q3866079 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q4736390
@@ Property / cites work: Q4736390 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive modal logics. I
@@ Property / cites work: Constructive modal logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux for constructive concurrent dynamic logic
+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 @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785506
@@ Property / cites work: Q4785506 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological duality for intuitionistic modal algebras
+Normal rank
@@ Property / cites work @@
+Embedding Constructive K into Intuitionistic K
@@ Property / cites work: Embedding Constructive K into Intuitionistic K / rank @@
+Normal rank
@@ Property / cites work @@
+Q5793835
@@ Property / cites work: Q5793835 / rank @@
+Normal rank
@@ Property / cites work @@
+-Sequent Calculus: Intuitionism and Natural Deduction
+Normal rank
@@ Property / cites work @@
+Computational types from a logical perspective
@@ Property / cites work: Computational types from a logical perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4360856
@@ Property / cites work: Q4360856 / rank @@
+Normal rank
@@ Property / cites work @@
+A computational formalization for partial evaluation
+Normal rank
@@ Property / cites work @@
+Q3024905
@@ Property / cites work: Q3024905 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion over objects of functional type
@@ Property / cites work: Recursion over objects of functional type / 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 @@
+Q5688812
@@ Property / cites work: Q5688812 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards constructive DL for abstraction and refinement
+Normal rank
@@ Property / cites work @@
+-sequent calculus: A proof theory of modalities
@@ Property / cites work: 2-sequent calculus: A proof theory of modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Extending the Curry-Howard interpretation to linear, relevant and other resource logics
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342082
@@ Property / cites work: Q4342082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank