STRUCTURED NONSTANDARD DYNAMIC LOGIC

DOI10.1002/MALQ.19840303102MaRDI QIDQ3345770zbMATH OpenOpenAlexFDO

Authors Ildikó Sain

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

zbMATH Keywords

axiomatizationnonstandard dynamic logictime logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonstandard models (03H99) Abstract data types; algebraic specification (68Q65)

Recommendations

• Publication:4726228
• Non-standard algorithmic and dynamic logic
• scientific article; zbMATH DE number 4028889
• Dynamic non-commutative logic
• A nondeterministic program logic

Cited in

(17)

• Non-standard algorithmic and dynamic logic
• A simple dynamic logic
• Hoare's logic for nondeterministic regular programs: A nonstandard approach
• Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
• Dynamic non-commutative logic
• Recursive programs and denotational semantics in absolute logics of programs
• scientific article; zbMATH DE number 3856389 (Why is no real title available?)
• Dynamic Logic with Non-rigid Functions
• scientific article; zbMATH DE number 4028889 (Why is no real title available?)
• scientific article; zbMATH DE number 1794691 (Why is no real title available?)
• Interactive Logical Structures
• scientific article; zbMATH DE number 3999893 (Why is no real title available?)
• Parametric linear dynamic logic
• Total correctness in nonstandard logics of programs
• Does “N+1 times” prove more programs correct than “N times”?
• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
• On the strength of temporal proofs

This page was built for publication: STRUCTURED NONSTANDARD DYNAMIC LOGIC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3345770)