Publication:3740223
From MaRDI portal
zbMath0603.68031MaRDI QIDQ3740223
Publication date: 1985
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse, \textit{Once} and \textit{for all}, Temporal logics for concurrent recursive programs: satisfiability and model checking, A minimal logic for interactive epistemology, Interactions between knowledge, action and commitment within agent dynamic logic, Answering regular path queries in expressive description logics via alternating tree-automata, Model checking propositional dynamic logic with all extras, Nondeterministic program schemata and their relation to dynamic logic