Three Semantics for Modular Systems
Logic in Computer Science
2014-05-07 v1
Abstract
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundations for combining different declarative languages, agents and solvers. We introduce a multi-language logic of modular systems. We define two novel semantics, a structural operational semantics, and an inference-based semantics. We prove the new semantics are equivalent to the original model-theoretic semantics and describe future research directions.
Cite
@article{arxiv.1405.1229,
title = {Three Semantics for Modular Systems},
author = {Shahab Tasharrofi and Eugenia Ternovska},
journal= {arXiv preprint arXiv:1405.1229},
year = {2014}
}
Comments
Current paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)