scientific article; zbMATH DE number 7084832
From MaRDI portal
Publication:5224566
zbMath1418.03077MaRDI QIDQ5224566
Raul Fervari, Stéphane P. Demri
Publication date: 24 July 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (max. 100)
Verification of dynamic bisimulation theorems in Coq ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ On Temporal and Separation Logics ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ Copy and remove as dynamic operators
This page was built for publication:
