scientific article; zbMATH DE number 3999893

zbMath0617.03012MaRDI QIDQ4726228

Petr Hájek

Publication date: 1986

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

zbMATH Keywords

first-order theoryPeano arithmeticaxiom systemsnonstandard dynamic logic

Mathematics Subject Classification ID

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

Related Items

Does “N+1 times” prove more programs correct than “N times”?, A simple dynamic logic, Recursive programs and denotational semantics in absolute logics of programs, Weak second order characterizations of various program verification systems, Temporal logics need their clocks, Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics, Total correctness in nonstandard logics of programs, On the strength of temporal proofs