A simple example of blocking the Craig trick

DOI10.21146/2074-1472-2023-29-2-36-58OpenAlexW4388529777MaRDI QIDQ6143287

Mikhail Rybakov

Publication date: 23 January 2024

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2023-29-2-36-58

zbMATH Keywords

Craig's theoremrecursive axiomatizationrecursively enumerable axiomatization

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Quantification in nonclassical logic. Volume I.
• Recursive enumerability and elementary frame definability in predicate modal logic
• Craig’s trick and a non-sequential system for the Lambek calculus and its fragments
• On axiomatizability within a system

This page was built for publication: A simple example of blocking the Craig trick