Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B10
@@ Property / Mathematics Subject Classification ID: 03B10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C40
@@ Property / Mathematics Subject Classification ID: 03C40 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6379798
@@ Property / zbMATH DE Number: 6379798 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bisimulation quantifiers
@@ Property / zbMATH Keywords: bisimulation quantifiers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+uniform interpolation
@@ Property / zbMATH Keywords: uniform interpolation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+guarded first-order logic
@@ Property / zbMATH Keywords: guarded first-order logic / 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.tcs.2014.08.015
+Normal rank
@@ Property / OpenAlex ID @@
+W1993972687
@@ Property / OpenAlex ID: W1993972687 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and definability in guarded fragments
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+On modal \(\mu\)-calculus with explicit interpolants
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419878
@@ Property / cites work: Q5419878 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded Negation
@@ Property / cites work: Guarded Negation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263155
@@ Property / cites work: Q4263155 / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Rewriting Guarded Negation Queries
@@ Property / cites work: Rewriting Guarded Negation Queries / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:481100