Importing Logics

Authors:
João Rasga;Amílcar Sernadas;Cristina Sernadas
Affiliations:
SQIG, Instituto de Telecomunicações and Dep. Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Lisbon, Portugal 1049-001;SQIG, Instituto de Telecomunicações and Dep. Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Lisbon, Portugal 1049-001;SQIG, Instituto de Telecomunicações and Dep. Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Lisbon, Portugal 1049-001
Venue:
Studia Logica
Year:
2012

Citing 7
Cited 2

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems

Journal of the ACM (JACM)
Modal logic

Modal logic
Parameterisation of Logics

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
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

Combinations of normal and non-normal modal logics for modeling collective trust in normative MAS

AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
Importing Logics: Soundness and Completeness Preservation

Studia Logica

Quantified Score

Hi-index	0.00

Visualization

Abstract

The novel notion of importing logics is introduced, subsuming as special cases several kinds of asymmetric combination mechanisms, like temporalization [8, 9], modalization [7] and exogenous enrichment [13, 5, 12, 4, 1]. The graph-theoretic approach proposed in [15] is used, but formulas are identified with irreducible paths in the signature multi-graph instead of equivalence classes of such paths, facilitating proofs involving inductions on formulas. Importing is proved to be strongly conservative. Conservative results follow as corollaries for temporalization, modalization and exogenous enrichment.