scientific article

From MaRDI portal

Publication:3979260

Jump to:navigation, search

zbMath0743.03014MaRDI QIDQ3979260

Ildikó Sain

Publication date: 26 June 1992

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

zbMATH Keywords

completeness modality first-order temporal logics partial correctness assertions past temporal logics of programs provability of program properties

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (1)

On the strength of temporal proofs

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3979260&oldid=12020483"