On interval dynamic logic

DOI10.1007/978-3-319-49815-7_8MaRDI QIDQ1784786zbMATH OpenOpenAlexFDO

Authors Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins, Benjamín Bedregal

Publication date 27 September 2018

Full work available at URL http://repositorio.inesctec.pt/handle/123456789/6310

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 2209826
• An exercise on the generation of many-valued dynamic logics
• On the construction of multi-valued concurrent dynamic logics
• Advances and challenges in interval-valued fuzzy logic
• Introducing interval differential dynamic logic

Cited in

(5)

• An exercise on the generation of many-valued dynamic logics
• A fragment of intuitionistic dynamic logic
• scientific article; zbMATH DE number 2209826 (Why is no real title available?)
• scientific article; zbMATH DE number 5230436 (Why is no real title available?)
• Introducing interval differential dynamic logic

This page was built for publication: On interval dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1784786)