Extensive games as process models
type: Item
instance of: scholarly article
title: Extensive games as process models
zbMATH Open document ID: 1003.03530
DOI: 10.1023/A:1015534111901
published in: Journal of Logic, Language and Information
publication date: 2002-08-20T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 1784302
zbMATH Keywords: dynamic logic
zbMATH Keywords: modal logic
zbMATH Keywords: extensive games
zbMATH Keywords: interactive process models
zbMATH Keywords: bisimulation
author: Johan van Benthem
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1784302