scientific article
From MaRDI portal
Publication:3318101
zbMath0534.68021MaRDI QIDQ3318101
No author found.
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (7)
``During cannot be expressed by ``after ⋮ Automata-theoretic techniques for modal logics of programs ⋮ Concurrent program schemes and their logics ⋮ Program schemata vs. automata for decidability of program logics ⋮ A dynamic deontic logic for complex contracts ⋮ $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts ⋮ Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\)
This page was built for publication:
