Importing logics

DOI10.1007/S11225-012-9414-YzbMATH Open1280.03033OpenAlexW2913840854MaRDI QIDQ694499FDOQ694499

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

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
• Logic aggregation

zbMATH Keywords

combined logicsimporting logicsmodalizationexogenous enrichmenttemporalization

Mathematics Subject Classification ID

Combined logics (03B62)

Cites Work

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

Cited In (5)

• Probabilization of logics: completeness and decidability
• Distributed Modal Logic
• Importing logics: soundness and completeness preservation
• 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)