Importing logics

DOI10.1007/S11225-012-9414-YMaRDI QIDQ694499zbMATHOpenAlexFDO

Authors 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)

Recommendations

• Importing logics: soundness and completeness preservation
• A refinement of import/export declarations in modular logic programming and its semantics
• Compiling logics
• Combining logics I
• scientific article; zbMATH DE number 1749198
• scientific article; zbMATH DE number 708499
• Importation lattices
• scientific article; zbMATH DE number 86272
• Logic aggregation

Cites work

• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 1140673 (Why is no real title available?)
• scientific article; zbMATH DE number 1418362 (Why is no real title available?)
• scientific article; zbMATH DE number 2196587 (Why is no real title available?)
• A graph-theoretic account of logics
• Adding a temporal dimension to a logic system
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Exogeneous semantics approach to enriching logics
• Extending classical logic for reasoning about quantum systems
• Modal logic
• On theories with a combinatorial definition of 'equivalence'
• Reasoning about probabilistic sequential programs
• Temporal algebra
• The Unrestricted Combination of Temporal Logic Systems
• Weakly complete axiomatization of exogenous quantum propositional logic

Cited in

(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

This page was built for publication: Importing logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q694499)