Some results in dynamic model theory

DOI10.1016/J.SCICO.2003.09.004zbMath1053.03019OpenAlexW2174071996MaRDI QIDQ1881264

Dexter Kozen

Publication date: 4 October 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2003.09.004

zbMATH Keywords

relation algebrasdynamic logicequational theorytrace algebradynamic model theoryKleene algebras with testsTarskian frames

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (2)

Algebras of modal operators and partial correctness ⋮ Non-associative Kleene Algebra and Temporal Logics

This page was built for publication: Some results in dynamic model theory