Many-sorted hybrid modal languages

DOI10.1016/J.JLAMP.2021.100644OpenAlexW3122067392MaRDI QIDQ2035658FDOQ2035658

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

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

zbMATH Keywords

program verificationoperational semanticsmany-sorted logichybrid modal logicstandard translation

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

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

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)