STRUCTURED NONSTANDARD DYNAMIC LOGIC
From MaRDI portal
Publication:3345770
DOI10.1002/malq.19840303102zbMath0552.68034OpenAlexW2017187886MaRDI QIDQ3345770
Publication date: 1984
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19840303102
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Nonstandard models (03H99)
Related Items (9)
Non-standard algorithmic and dynamic logic ⋮ 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 ⋮ Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics ⋮ Total correctness in nonstandard logics of programs ⋮ Hoare's logic for nondeterministic regular programs: A nonstandard approach ⋮ Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs? ⋮ On the strength of temporal proofs
This page was built for publication: STRUCTURED NONSTANDARD DYNAMIC LOGIC
