Non-transitive linear temporal logic and logical knowledge operations
type: Item
instance of: scholarly article
title: Non-transitive linear temporal logic and logical knowledge operations
zbMATH Open document ID: 1403.03028
publication date: 2016-10-07T00:00:00Z
full work available at URL: exv016-new.pdf
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6636308
zbMATH Keywords: linear temporal logic
zbMATH Keywords: non-transitive time
zbMATH Keywords: knowledge
zbMATH Keywords: logical knowledge operations
zbMATH Keywords: deciding algorithms
author: Vladimir Rybakov
MaRDI profile type: Publication
OpenAlex ID: W2323345003
DOI: 10.1093/LOGCOM/EXV016
published in: Journal of Logic and Computation
description: scientific article; zbMATH DE number 6636308