Importing logics

DOI10.1007/s11225-012-9414-yzbMath1280.03033OpenAlexW2913840854MaRDI QIDQ694499

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

Publication date: 12 December 2012

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

Full work available at URL: https://doi.org/10.1007/s11225-012-9414-y

zbMATH Keywords

combined logicsimporting logicsmodalizationexogenous enrichmenttemporalization

Mathematics Subject Classification ID

Combined logics (03B62)

Related Items (5)

Importing logics: soundness and completeness preservation ⋮ Distributed Modal Logic ⋮ Probabilization of logics: completeness and decidability ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ Epistemic logics with structured knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adding a temporal dimension to a logic system
• Reasoning about probabilistic sequential programs
• Weakly complete axiomatization of exogenous quantum propositional logic
• On theories with a combinatorial definition of 'equivalence'
• A Graph-theoretic Account of Logics
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Temporal algebra
• The Unrestricted Combination of Temporal Logic Systems

This page was built for publication: Importing logics