Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: many-sorted logic

Sortuj według:

Ogranicz wyniki do:

A Many-sorted Polyadic Modal Logic

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

Fundamenta Informaticae

2020

Vol. 173, nr 2-3

191--215

We propose a general system that combines the powerful features of modal logic and many-sorted reasoning. Its algebraic semantics leads to a many-sorted generalization of boolean algebras with operators, for which we prove the analogue of the Jónsson-Tarski theorem. Our goal was to deepen the connections between modal logic and program verification, while also testing the expressiveness of our system by defining a small imperative language and its operational semantics.