Decidability of logical theories and their combination

DOI10.1007/978-3-030-56554-1MaRDI QIDQ2204682zbMATH OpenOpenAlexFDO

Authors João Rasga, Cristina Sernadas

Publication date 15 October 2020

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-56554-1

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Recommendations

• Mathematical Logic
• Sets, models and proofs
• Mathematical logic. Exercises and solutions
• Mathematical logic
• Foundations of logic. Completeness, incompleteness, computability

Cited in

(9)

• Combination of convex theories: modularity, deduction completeness, and explanation
• A formal derivation of the decidability of the theory SA
• Combinatorial versus decision-theoretic components of impossibility theorems
• Decidability of general extensional mereology
• Combinations of Theories for Decidable Fragments of First-Order Logic
• scientific article; zbMATH DE number 4085609 (Why is no real title available?)
• A comprehensive picture of the decidability of mereological theories
• On combining intuitionistic and S4 modal logic
• On the decidability of open logic

This page was built for publication: Decidability of logical theories and their combination

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