Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski (Q4953222): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2586539
@@ Property / full work available at URL: https://doi.org/10.2307/2586539 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2057072590
@@ Property / OpenAlex ID: W2057072590 / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Temporal logics of “the next” do not have the beth property
+Normal rank
@@ Property / cites work @@
+Properties preserved in subdirect products
@@ Property / cites work: Properties preserved in subdirect products / rank @@
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank