A Many-sorted Polyadic Modal Logic

DOI10.3233/FI-2020-1921zbMath1471.03047arXiv1803.09709MaRDI QIDQ5134276

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

Publication date: 16 November 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

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

zbMATH Keywords

operational semanticsBoolean algebras with operatorsmany-sorted logicmany-sorted algebraspolyadic modal logicJónsson-Tarski theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (1)

Many-sorted hybrid modal languages

This page was built for publication: A Many-sorted Polyadic Modal Logic