Q5419880 (Q5419880): Difference between revisions

← Older edit Newer edit →

@@ label / en / label / en @@
-Non-finite axiomatizability of Dynamic Topological Logic
@@ description / en / description / en @@
-scientific article; zbMATH DE number 6302904
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / zbMATH Open document ID @@
-.03016
@@ Property / zbMATH Open document ID: 1296.03016 / rank @@
-Normal rank
@@ Property / author @@
-David Fernández-Duque
@@ Property / author: David Fernández-Duque / 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 / full work available at URL @@
-https://arxiv.org/abs/1207.5140
@@ Property / full work available at URL: https://arxiv.org/abs/1207.5140 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B44
@@ Property / Mathematics Subject Classification ID: 03B44 / 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 @@
-temporal logic
@@ Property / zbMATH Keywords: temporal logic / 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 / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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
@@ Property / arXiv ID @@
-.5140
@@ Property / arXiv ID: 1207.5140 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5419880

Revision as of 10:24, 6 May 2024

No description defined

Language	Label	Description	Also known as
English	No label defined	No description defined

Q5419880 (Q5419880): Difference between revisions

Revision as of 10:24, 6 May 2024

Statements

Sitelinks

Mathematics(0 entries)