scientific article; zbMATH DE number 1927555

zbMath1012.68518MaRDI QIDQ4484479

Julian Bradfield

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210098.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Effective cut-elimination for a fragment of modal mu-calculus

This page was built for publication: