Importing logics
From MaRDI portal
Publication:694499
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
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)
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)