Flat Coalgebraic Fixed Point Logics (Q3584953): Difference between revisions

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+Completeness of Flat Coalgebraic Fixpoint Logics
@@ description / en / description / en @@
+scientific article; zbMATH DE number 6852240
@@ Property / title @@
+Completeness of Flat Coalgebraic Fixpoint Logics (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.03049
@@ Property / zbMATH Open document ID: 1407.03049 / rank @@
+Normal rank
@@ Property / DOI @@
+.1145/3157055
@@ Property / DOI: 10.1145/3157055 / rank @@
+Normal rank
@@ Property / published in @@
+ACM Transactions on Computational Logic
@@ Property / published in: ACM Transactions on Computational Logic / rank @@
+Normal rank
@@ Property / publication date @@
+March 2018Timestamp +2018-03-22T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2018-03-22T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 22 March 2018 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6852240
@@ Property / zbMATH DE Number: 6852240 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963435309
@@ Property / OpenAlex ID: W2963435309 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+completeness
@@ Property / zbMATH Keywords: completeness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Kozen/Park axioms
@@ Property / zbMATH Keywords: Kozen/Park axioms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algebraic semantics
@@ Property / zbMATH Keywords: algebraic semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+alternating-time temporal logic
@@ Property / zbMATH Keywords: alternating-time temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+branching-time temporal logics
@@ Property / zbMATH Keywords: branching-time temporal logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebraic logic
@@ Property / zbMATH Keywords: coalgebraic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+graded \(\mu\)-calculus
@@ Property / zbMATH Keywords: graded \(\mu\)-calculus / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3584953