Publication:4744245
From MaRDI portal
zbMath0507.03005MaRDI QIDQ4744245
Publication date: 1982
03B45: Modal logic (including the logic of norms)
68Q65: Abstract data types; algebraic specification
Related Items
From Monadic Logic to PSL, The expressive power of implicit specifications, Equivalences among logics of programs, Results on the propositional \(\mu\)-calculus, An abstract interpretation toolkit for \(\mu\)CRL, A refinement calculus for specifications in Hennessy-Milner logic with recursion, Proof systems for satisfiability in Hennessy-Milner logic with recursion, Concurrent program schemes and their logics, An automata theoretic decision procedure for the propositional mu- calculus, Axiomatizing fixpoint logics, A methodology for designing proof rules for fair parallel programs, Mathematical modal logic: A view of its evolution, On strictly arithmetical completeness in logics of programs, From Philosophical to Industrial Logics