Dynamic logic: a personal perspective

DOI10.1007/978-3-319-73579-5_10zbMath1499.03026OpenAlexW2781527714MaRDI QIDQ1742628

Vaughan R. Pratt

Publication date: 12 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-73579-5_10

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Logic in computer science (03B70) History of mathematical logic and foundations (03-03) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)

This page was built for publication: Dynamic logic: a personal perspective