Keyword:Hybrid modal logic

Publications
Formalizing a Many-Sorted Hybrid Polyadic Modal Logic in Lean Alexandru Oltean, Bogdan Macovei and Ioana Leuștean In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning