Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262): Difference between revisions

@@ 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.1016/j.ic.2010.09.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2039659978
@@ Property / OpenAlex ID: W2039659978 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic tense and modal logic
@@ Property / cites work: Intuitionistic tense and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive linear-time temporal logic: proof systems and Kripke semantics
+Normal rank
@@ Property / cites work @@
+Structural cut elimination. I: Intuitionistic and classical logic
+Normal rank
@@ Property / cites work @@
+Constructive modal logics. I
@@ Property / cites work: Constructive modal logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250043
@@ Property / cites work: Q4250043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785506
@@ Property / cites work: Q4785506 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics with functional alternative relations
+Normal rank
@@ Property / cites work @@
+Q5688812
@@ Property / cites work: Q5688812 / 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 @@
+Monad as modality
@@ Property / cites work: Monad as modality / rank @@
+Normal rank
@@ Property / cites work @@
+Environment classifiers
@@ Property / cites work: Environment classifiers / rank @@
+Normal rank
@@ Property / cites work @@
+MetaML and multi-stage programming with explicit annotations
+Normal rank
@@ Property / cites work @@
+Q4417870
@@ Property / cites work: Q4417870 / rank @@
+Normal rank
@@ Property / cites work @@
+Staged computation with names and necessity
@@ Property / cites work: Staged computation with names and necessity / rank @@
+Normal rank
@@ Property / cites work @@
+A polymorphic modal type system for lisp-like multi-staged languages
+Normal rank
@@ Property / cites work @@
+A Logical Foundation for Environment Classifiers
@@ Property / cites work: A Logical Foundation for Environment Classifiers / rank @@
+Normal rank