Logic of transition systems
type: Item
instance of: scholarly article
title: Logic of transition systems
zbMATH Open document ID: 0827.03019
DOI: 10.1007/BF01160018
author: Johan van Benthem
author: J. A. Bergstra
published in: Journal of Logic, Language and Information
publication date: 1995-09-26T00:00:00Z
Mathematics Subject Classification ID: 03B80
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C07
zbMATH DE Number: 784603
zbMATH Keywords: labeled transition system
zbMATH Keywords: bisimulation
zbMATH Keywords: modal logic
zbMATH Keywords: process algebra
zbMATH Keywords: invariance
zbMATH Keywords: definability
zbMATH Keywords: first-order model theory
MaRDI profile type: Publication
cites work: On sequential composition, action prefixes and process prefix
cites work: Process algebra for synchronous communication
cites work: Q3792231
cites work: Q5509710
cites work: Axiomatising the logic of computer programming
cites work: Q4343990
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
cites work: A calculus of communicating systems
cites work: Q5596237
cites work: Q3781066
cites work: Language in action. Categories, lambdas and dynamic logic
Recommended article: Q4955331
Recommended article: Transition Logic Revisited
Recommended article: Modal Logic, Transition Systems and Processes
Recommended article: Foundations of Software Science and Computational Structures
Recommended article: Q4244302
Recommended article: An algebraic semantics for structured transition systems and its application to logic programs
Recommended article: Encoding transition systems in sequent calculus
Recommended article: A Counting Logic for Structure Transition Systems
Recommended article: A logical study of distributed transition systems
Recommended article: A deductive approach towards reasoning about algebraic transition systems
description: scientific article; zbMATH DE number 784603