Operational semantics and program verification using many-sorted hybrid modal logic

DOI10.1007/978-3-030-29026-9_25zbMath1435.68199arXiv1905.05036OpenAlexW2970835900MaRDI QIDQ2180535

Ioana Leuştean, Traian-Florin Şerbănuţă, Natalia Moangă

Publication date: 14 May 2020

Full work available at URL: https://arxiv.org/abs/1905.05036

zbMATH Keywords

operational semanticshybrid modal logicprogram verificationmany-sorted logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Many-sorted hybrid modal languages ⋮ Efficient SAT-based minimal model generation methods for modal logic S5

This page was built for publication: Operational semantics and program verification using many-sorted hybrid modal logic