An extended branching-time Ockhamist temporal logic
type: Item
instance of: scholarly article
title: An extended branching-time Ockhamist temporal logic
zbMATH Open document ID: 0920.03030
DOI: 10.1023/A:1008398102653
published in: Journal of Logic, Language and Information
publication date: 1999-05-11T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1286168
zbMATH Keywords: branching-time temporal logic
zbMATH Keywords: Ockhamist semantics
zbMATH Keywords: possible futures
zbMATH Keywords: axiomatic system
zbMATH Keywords: bundle tree semantics
zbMATH Keywords: difference operator
zbMATH Keywords: divided histories
author: Mark A. Brown
author: Valentin Goranko
MaRDI profile type: Publication
full work available at URL: a:1008398102653
OpenAlex ID: W2140616794
description: scientific article; zbMATH DE number 1286168