Many-sorted hybrid modal languages
type: Item
instance of: scholarly article
title: Many-sorted hybrid modal languages
author: Ioana Leuştean
author: Natalia Moangă
author: Traian Şerbănuţă
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2021-06-25T00:00:00Z
full work available at URL: https://arxiv.org/abs/2007.01709
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7363409
zbMATH Keywords: hybrid modal logic
zbMATH Keywords: many-sorted logic
zbMATH Keywords: standard translation
zbMATH Keywords: operational semantics
zbMATH Keywords: program verification
MaRDI profile type: Publication
OpenAlex ID: W3122067392
cites work: Q3408862
cites work: Pure extensions, proof rules, and hybrid axiomatics
cites work: Hybrid completeness
cites work: Hybrid languages and temporal logic
cites work: Q5584402
cites work: Modal logic with names
cites work: Foundations of logic programming in hybrid logics with user-defined sharing
cites work: Forcing and Calculi for Hybrid Logics
cites work: Birkhoff completeness for hybrid-dynamic first-order logic
cites work: Institutions: abstract model theory for specification and programming
cites work: Sahlqvist formulas in hybrid polyadic modal logics
cites work: Q4525781
cites work: An axiomatic basis for computer programming
cites work: A Many-sorted Polyadic Modal Logic
cites work: Operational semantics and program verification using many-sorted hybrid modal logic
cites work: A structural approach to operational semantics
cites work: Matching Logic
DOI: 10.1016/J.JLAMP.2021.100644
description: scientific article; zbMATH DE number 7363409