Formal justification of underspecification for S5

DOI10.1016/S0020-0190(97)00165-8zbMath1336.68161MaRDI QIDQ287254

David Gries, Eric Aaron

Publication date: 26 May 2016

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

modal logicformal semanticsprogram specificationlogiceverywhere operatorundefinedunderspecification

Mathematics Subject Classification ID

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

Uses Software

• CalcCheck

Cites Work

• Unnamed Item
• Unnamed Item
• Equational propositional logic
• Computer science today. Recent trends and developments
• Adding the everywhere operator to propositional logic

This page was built for publication: Formal justification of underspecification for S5