scientific article
From MaRDI portal
Publication:3677736
zbMath0564.03012MaRDI QIDQ3677736
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25)
Related Items
Deciding the unguarded modal -calculus ⋮ Fixed point characterization of infinite behavior of finite-state systems ⋮ A dynamic deontic logic for complex contracts ⋮ Mathematical modal logic: A view of its evolution ⋮ Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus ⋮ The Modal μ-Calculus Caught Off Guard ⋮ A Formal Language for Electronic Contracts ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ Everything else being equal: a modal logic for ceteris paribus preferences ⋮ Results on the propositional \(\mu\)-calculus
