The axiomatic translation principle for modal logic

DOI10.1145/1276920.1276921zbMath1367.03045OpenAlexW2124890997WikidataQ130888051 ScholiaQ130888051MaRDI QIDQ5277784

Ullrich Hustadt, Renate A. Schmidt

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1276920.1276921

zbMATH Keywords

completenessdecidabilitysmall model propertytranslation approach

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (6)

Simulation and Synthesis of Deduction Calculi ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ First-Order Resolution Methods for Modal Logics ⋮ Efficient local reductions to basic modal logic ⋮ Handling transitive relations in first-order automated reasoning ⋮ Local is best: efficient reductions to modal logic \textsf{K}

This page was built for publication: The axiomatic translation principle for modal logic