Q5419880 (Q5419880): Difference between revisions
From MaRDI portal
Item:Q5419880
Changed an Item |
EloiFerrer (talk | contribs) Merged Item into Q5410331 Tag: Replaced |
||||||||||||||
label / en | label / en | ||||||||||||||
description / en | description / en | ||||||||||||||
Property / instance of | |||||||||||||||
Property / instance of: scholarly article / rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1296.03016 / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: David Fernández-Duque / rank | |||||||||||||||
Property / publication date | |||||||||||||||
| |||||||||||||||
Property / publication date: 11 June 2014 / rank | |||||||||||||||
Property / full work available at URL | |||||||||||||||
Property / full work available at URL: https://arxiv.org/abs/1207.5140 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 03B45 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 03B44 / rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6302904 / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: dynamic topological logic / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: topological semantics / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: temporal logic / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: axiomatizability / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: spatial logic / rank | |||||||||||||||
Property / MaRDI profile type | |||||||||||||||
Property / MaRDI profile type: MaRDI publication profile / rank | |||||||||||||||
Property / arXiv classification | |||||||||||||||
Property / arXiv classification: math.LO / rank | |||||||||||||||
Property / arXiv classification | |||||||||||||||
Property / arXiv classification: cs.LO / rank | |||||||||||||||
Property / arXiv ID | |||||||||||||||
Property / arXiv ID: 1207.5140 / rank | |||||||||||||||
links / mardi / name | links / mardi / name | ||||||||||||||
Revision as of 10:24, 6 May 2024
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
No description defined |