Item:Q5419880: Difference between revisions

From MaRDI portal
Item:Q5419880
Importer (talk | contribs)
Created a new Item
 
Redirected to Q5410331
Tag: New redirect
 
(5 intermediate revisions by 4 users not shown)
redirectredirect
 
Q5410331
description / endescription / en
scientific article; zbMATH DE number 6302904
Property / instance of
 
Property / instance of: scholarly article / rank
Normal rank
 
Property / zbMATH Open document ID
 
Property / zbMATH Open document ID: 1296.03016 / rank
Normal rank
 
Property / author
 
Property / author: David Fernández-Duque / rank
Normal rank
 
Property / publication date
11 June 2014
Timestamp+2014-06-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
 
Property / publication date: 11 June 2014 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://arxiv.org/abs/1207.5140 / rank
Normal rank
 
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B45 / rank
Normal rank
 
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B44 / 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
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
 

Latest revision as of 10:24, 6 May 2024

Redirect to: