Importing Logics: Soundness and Completeness Preservation

Authors:
J. Rasga;A. Sernadas;C. Sernadas
Affiliations:
Dep. Matemática, Instituto Superior Técnico, Instituto de Telecomunicações, Universidade Técnica de Lisboa, SQIG, Lisboa, Portugal;Dep. Matemática, Instituto Superior Técnico, Instituto de Telecomunicações, Universidade Técnica de Lisboa, SQIG, Lisboa, Portugal;Dep. Matemática, Instituto Superior Técnico, Instituto de Telecomunicações, Universidade Técnica de Lisboa, SQIG, Lisboa, Portugal
Venue:
Studia Logica
Year:
2013

Citing 6
Cited 0

Modal logic

Modal logic
Temporal algebra

Mathematical Structures in Computer Science
Reasoning about probabilistic sequential programs

Theoretical Computer Science
A Graph-theoretic Account of Logics

Journal of Logic and Computation
Weakly complete axiomatization of exogenous quantum propositional logic

Information and Computation
Importing Logics

Studia Logica

Quantified Score

Hi-index	0.00

Visualization

Abstract

Importing subsumes several asymmetric ways of combining logics, including modalization and temporalization. A calculus is provided for importing, inheriting the axioms and rules from the given logics and including additional rules for lifting derivations from the imported logic. The calculus is shown to be sound and concretely complete with respect to the semantics of importing as proposed in J. Rasga et al. (100(3):541---581, 2012) Studia Logica.