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