LAR: A logic of algorithmic reasoning
From MaRDI portal
Publication:1234163
DOI10.1007/BF00264469zbMath0347.68016OpenAlexW135594033MaRDI QIDQ1234163
Publication date: 1977
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00264469
Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) General topics in the theory of software (68N01)
Related Items (10)
Program-substitution and admissibility of rules in algorithmic logic ⋮ The temporal semantics of concurrent programs ⋮ The Birth of Model Checking ⋮ Unnamed Item ⋮ A formal system for parallel programs in discrete time and space ⋮ Linear temporal logic symbolic model checking ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ Semantics of algorithmic languages ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation
This page was built for publication: LAR: A logic of algorithmic reasoning
