Many-sorted hybrid modal languages

DOI10.1016/J.JLAMP.2021.100644MaRDI QIDQ2035658zbMATH OpenOpenAlexFDO

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

Publication date 25 June 2021

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

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

zbMATH Keywords

program verificationoperational semanticsmany-sorted logichybrid modal logicstandard translation

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• A many-sorted polyadic modal logic
• Operational semantics and program verification using many-sorted hybrid modal logic
• Pure extensions, proof rules, and hybrid axiomatics
• Many-valued hybrid logic
• scientific article; zbMATH DE number 1215461

Cites work

• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• A many-sorted polyadic modal logic
• A structural approach to operational semantics
• An axiomatic basis for computer programming
• Birkhoff completeness for hybrid-dynamic first-order logic
• Forcing and calculi for hybrid logics
• Foundations of logic programming in hybrid logics with user-defined sharing
• Handbook of modal logic
• Hybrid completeness
• Hybrid languages and temporal logic
• Institutions: abstract model theory for specification and programming
• Matching logic
• Modal logic with names
• Operational semantics and program verification using many-sorted hybrid modal logic
• Pure extensions, proof rules, and hybrid axiomatics
• Sahlqvist formulas in hybrid polyadic modal logics

Cited in

(3)

• A many-sorted polyadic modal logic
• Operational semantics and program verification using many-sorted hybrid modal logic
• Unsorted functional translations

This page was built for publication: Many-sorted hybrid modal languages

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