Q5101338 (Q5101338): Difference between revisions

@@ Property / cites work @@
+On propositional quantifiers in provability logic
@@ Property / cites work: On propositional quantifiers in provability logic / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of hybrid temporal logics
+Normal rank
@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+Representability in second-order propositional poly-modal logic
+Normal rank
@@ Property / cites work @@
+Modal logics of sabotage revisited
@@ Property / cites work: Modal logics of sabotage revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767023
@@ Property / cites work: Q2767023 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics with Composition on Finite Forests
@@ Property / cites work: Modal Logics with Composition on Finite Forests / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of logical theories
@@ Property / cites work: The complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384161
@@ Property / cites work: Q3384161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+On modal logic with propositional quantifiers
@@ Property / cites work: On modal logic with propositional quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Second-order propositional modal logic: expressiveness and completeness results
+Normal rank
@@ Property / cites work @@
+The complexity of one-agent refinement modal logic
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logics in Computer Science
@@ Property / cites work: Temporal Logics in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of QCTL
@@ Property / cites work: On the Expressiveness of QCTL / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Graded modalities. I
@@ Property / cites work: Graded modalities. I / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional quantifiers in modal logic1
@@ Property / cites work: Propositional quantifiers in modal logic1 / rank @@
+Normal rank
@@ Property / cites work @@
+In so many possible worlds
@@ Property / cites work: In so many possible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+Q4475142
@@ Property / cites work: Q4475142 / 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 @@
+On the complexity of propositional quantification in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Propositional quantification in the topological semantics for \(\mathbf S4\)
+Normal rank
@@ Property / cites work @@
+The expressive power of second-order propositional modal logic
+Normal rank
@@ Property / cites work @@
+Augmenting branching temporal logics with existential quantification over atomic propositions
+Normal rank
@@ Property / cites work @@
+Second-order propositional modal logic and monadic alternation hierarchies
+Normal rank
@@ Property / cites work @@
+Quantified CTL: Expressiveness and Complexity
@@ Property / cites work: Quantified CTL: Expressiveness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Augmenting ATL with strategy contexts
@@ Property / cites work: Augmenting ATL with strategy contexts / rank @@
+Normal rank
@@ Property / cites work @@
+An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning
+Normal rank
@@ Property / cites work @@
+Quantified computation tree logic
@@ Property / cites work: Quantified computation tree logic / rank @@
+Normal rank
@@ Property / cites work @@
+THE FLUTED FRAGMENT REVISITED
@@ Property / cites work: THE FLUTED FRAGMENT REVISITED / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Complexity Hierarchies beyond Elementary
@@ Property / cites work: Complexity Hierarchies beyond Elementary / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Expressivity of second order propositional modal logic
+Normal rank
@@ Property / cites work @@
+PSPACE Reasoning for Graded Modal Logics
@@ Property / cites work: PSPACE Reasoning for Graded Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
+Normal rank