Linear temporal logic with until and next, logical consecutions (Q947268): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2008.03.001
@@ Property / DOI: 10.1016/j.apal.2008.03.001 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4817546
@@ Property / cites work: Q4817546 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
+Normal rank
@@ Property / cites work @@
+Q4817549
@@ Property / cites work: Q4817549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+Q3669373
@@ Property / cites work: Q3669373 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Modal Logics
@@ Property / cites work: Admissible Rules of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal sequents and definability
@@ Property / cites work: Modal sequents and definability / rank @@
+Normal rank
@@ Property / cites work @@
+A quick axiomatisation of LTL with past
@@ Property / cites work: A quick axiomatisation of LTL with past / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability of admissible rules
@@ Property / cites work: Derivability of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Rules of inference with parameters for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Hereditarily structurally complete modal logics
@@ Property / cites work: Hereditarily structurally complete modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logical equations and admissible rules of inference with parameters in modal provability logics
+Normal rank
@@ Property / cites work @@
+On Finite Model Property for Admissible Rules
@@ Property / cites work: On Finite Model Property for Admissible Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of an Explicit Basis for Rules Admissible in Modal System S4
+Normal rank
@@ Property / cites work @@
+Logical consecutions in discrete linear temporal logic
+Normal rank
@@ Property / cites work @@
+Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
+Normal rank
@@ Property / cites work @@
+Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of transition systems
@@ Property / cites work: Logic of transition systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2008.03.001
@@ Property / DOI: 10.1016/J.APAL.2008.03.001 / rank @@
+Normal rank