scientific article; zbMATH DE number 3558938

MaRDI QIDQ4130976zbMATH OpenFDO

Authors Lech Banachowski, Antoni Kreczmar, Grazyna Mirkowska, Helena Rasiowa, Andrzej Salwicki

Publication date 1977

Full work available at URL https://eudml.org/doc/208573, http://matwbn.icm.edu.pl/tresc.php?wyd=5&tom=2

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Classical propositional logic (03B05) Classical first-order logic (03B10) Algorithms in computer science (68W99)

Cited in

(14)

• Invertible infinitary calculus without loop rules for restricted FTL
• Application of modal logic to programming
• Proving total correctness of nondeterministic programs in infinitary logic
• First-order approximation of algorithmic theories
• Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
• scientific article; zbMATH DE number 3688675 (Why is no real title available?)
• Analysis and synthesis of structured parallel programs
• A simple dynamic logic
• A formal system for parallel programs in discrete time and space
• Non-recursiveness of the operations on real numbers
• Process logic: Expressiveness, decidability, completeness
• Floyd's principle, correctness theories and program equivalence
• On strictly arithmetical completeness in logics of programs
• Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas

This page was built for publication:

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