A Four-Valued Hybrid Logic with Non-dual Modal Operators

First Author: Costa D

Attributed to: Interface reasoning for interacting systems (IRIS). funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-38808-9_6

Publication URI: http://dx.doi.org/10.1007/978-3-030-38808-9_6

Type: Book Chapter

Book Title: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings (2020)

Page Reference: 88-103

ISSN: 2662-9399