Fibring as biporting subsumes asymmetric combinations

DOI10.1007/s11225-013-9524-1zbMath1344.03031OpenAlexW2101494210MaRDI QIDQ2259004

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

Publication date: 27 February 2015

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

Full work available at URL: https://doi.org/10.1007/s11225-013-9524-1

zbMATH Keywords

finite model propertycombining logicstemporalizationfibringbiportingimporting

Mathematics Subject Classification ID

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

Related Items (1)

An NP-complete fragment of fibring logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Importing logics: soundness and completeness preservation
• Importing logics
• Adding a temporal dimension to a logic system
• Why combine logics?
• Simulation and transfer results in modal logic -- a survey
• Many-dimensional modal logics: theory and applications
• Weakly complete axiomatization of exogenous quantum propositional logic
• Fibring: completeness preservation
• LTL over description logic axioms
• Preservation by fibring of the finite model property
• Hybridization of Institutions
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• A Graph-theoretic Account of Logics
• On Graph-theoretic Fibring of Logics
• The Unrestricted Combination of Temporal Logic Systems
• Preservation of Interpolation Features by Fibring

This page was built for publication: Fibring as biporting subsumes asymmetric combinations