Importing logics: soundness and completeness preservation

DOI10.1007/S11225-011-9363-XzbMath1345.03052OpenAlexW2041021428MaRDI QIDQ361861

Cristina Sernadas, João Rasga, Amílcar Sernadas

Publication date: 19 August 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9363-x

zbMATH Keywords

combined logicscompleteness preservationimporting logicsmodalization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Combined logics (03B62)

Related Items (1)

Fibring as biporting subsumes asymmetric combinations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Importing logics
• Adding a temporal dimension to a logic system
• Reasoning about probabilistic sequential programs
• Weakly complete axiomatization of exogenous quantum propositional logic
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• A Graph-theoretic Account of Logics
• Temporal algebra
• The Unrestricted Combination of Temporal Logic Systems

This page was built for publication: Importing logics: soundness and completeness preservation