Abstract
This paper presents results concerning the relations between a propositional modal logic (NK-logic) and the algebra of dioids. The technique of analytic tableau, a well known proof technique in logic systems, is used in combination with the NK-logic to verify specifications written in dioid algebra. The concept of terminality, herein introduced, allows the establishment of important relations that support the proposition of simple algorithms for the verification of specifications. An example illustrates the application of the proposed algorithm.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
About this paper
Cite this paper
Pessanha, C.P., Santos-Mendes, R. Modal Logic and Dioids. In: Benvenuti, L., De Santis, A., Farina, L. (eds) Positive Systems. Lecture Notes in Control and Information Science, vol 294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44928-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-44928-7_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40342-5
Online ISBN: 978-3-540-44928-7
eBook Packages: Springer Book Archive