Second-order propositional modal logic and monadic alternation hierarchies (Q466445): Difference between revisions

@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+On propositional quantifiers in provability logic
@@ Property / cites work: On propositional quantifiers in provability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform interpolation and propositional quantifiers in modal logics
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / 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 @@
+Expressivity of second order propositional modal logic
+Normal rank
@@ Property / cites work @@
+Q4298571
@@ Property / cites work: Q4298571 / 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 @@
+Interpolation for first order S5
@@ Property / cites work: Interpolation for first order S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary Relations
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional quantification in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085169
@@ Property / cites work: Q3085169 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic with Program Quantifiers
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Arity and alternation in second-order logic
@@ Property / cites work: Arity and alternation in second-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086932
@@ Property / cites work: Q3086932 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic quantifier alternation hierarchy over grids and graphs
+Normal rank
@@ Property / cites work @@
+What is nominalistic mereology?
@@ Property / cites work: What is nominalistic mereology? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218948
@@ Property / cites work: Q4218948 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank