Non-finite axiomatizability of dynamic topological logic (Q5410331): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Merged Item from Q5419880 |
||||||||||||||
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 | |||||||||||||||
Property / zbMATH Open document ID: 1296.03016 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
11 June 2014
| |||||||||||||||
Property / publication date: 11 June 2014 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
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
- Non-finite axiomatizability of Dynamic Topological Logic
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-finite axiomatizability of dynamic topological logic |
scientific article; zbMATH DE number 6302904 |
|
Statements
Non-finite axiomatizability of dynamic topological logic (English)
0 references
16 April 2014
0 references
11 June 2014
0 references
dynamical systems
0 references
spatial reasoning
0 references
temporal logic
0 references
theory complexity
0 references
dynamic topological logic
0 references
topological semantics
0 references
axiomatizability
0 references
spatial logic
0 references
math.LO
0 references
cs.LO
0 references