scientific article
From MaRDI portal
Publication:3740223
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 (8)
\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
This page was built for publication:
