The trace modality
From MaRDI portal
Publication:777889
DOI10.1007/978-3-030-38808-9_8zbMath1496.68196OpenAlexW2999511424MaRDI QIDQ777889
Reiner Hähnle, Dominic Steinhöfel
Publication date: 8 July 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-38808-9_8
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
