Semantical Analysis of Logic of Actions
type: Item
instance of: scholarly article
title: Semantical Analysis of Logic of Actions
zbMATH Open document ID: 0815.03012
author: Michael Tiomkin
author: Michael Kaminski
publication date: 1995-04-17T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 743943
zbMATH Keywords: validity
zbMATH Keywords: propositional temporal logic of actions
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/logcom/5.2.203
OpenAlex ID: W2034643241
DOI: 10.1093/LOGCOM/5.2.203
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 743943