Non-finite axiomatizability of dynamic topological logic (Q5410331): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Non-finite axiomatizability of Dynamic Topological Logic
@@ description / en / description / en @@
+scientific article; zbMATH DE number 6302904
@@ Property / zbMATH Open document ID @@
+.03016
@@ Property / zbMATH Open document ID: 1296.03016 / rank @@
+Normal rank
@@ Property / publication date @@
+June 2014Timestamp +2014-06-11T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2014-06-11T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 11 June 2014 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6302904
@@ Property / zbMATH DE Number: 6302904 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dynamic topological logic
@@ Property / zbMATH Keywords: dynamic topological logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+topological semantics
@@ Property / zbMATH Keywords: topological semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+axiomatizability
@@ Property / zbMATH Keywords: axiomatizability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+spatial logic
@@ Property / zbMATH Keywords: spatial logic / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.LO
@@ Property / arXiv classification: math.LO / rank @@
+Normal rank
@@ Property / arXiv classification @@
+cs.LO
@@ Property / arXiv classification: cs.LO / rank @@
+Normal rank

Latest revision as of 10:24, 6 May 2024

scientific article; zbMATH DE number 6302904

Language	Label	Description	Also known as
English	Non-finite axiomatizability of dynamic topological logic	scientific article; zbMATH DE number 6302904	Non-finite axiomatizability of Dynamic Topological Logic