# Many-Sorted Hybrid Modal Languages

arXiv: https://arxiv.org/abs/2007.01709 · HTML: https://mlsanity.com/paper/2007.01709/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 2 Jul 2020.

## Built on by (most cited first, 1 of 1)

- [A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts](https://mlsanity.com/paper/2512.24980/) (2025)

## Abstract (arXiv)

We continue our investigation into hybrid polyadic multi-sorted logic with a focus on expresivity related to the operational and axiomatic semantics of rogramming languages, and relations with first-order logic. We identify a fragment of the full logic, for which we prove sound and complete deduction and we show that it is powerful enough to represent both the programs and their semantics in an uniform way. Although weaker than other hybrid systems previously developed, this system is expected to have better computational properties. Finally, we provide a standard translation from full hybrid many-sorted logic to first-order logic.