Taming first-order logic

DOI10.1093/JIGPAL/6.2.305MaRDI QIDQ4383703zbMATH OpenOpenAlexFDO

Authors Szabolcs Mikulás

Publication date 2 April 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/9abc46f5493432cf813568a94309ab27c1d60e04

zbMATH Keywords

decidabilityfragments of first-order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Recommendations

• Modal languages and bounded fragments of predicate logic
• Publication:4860647
• scientific article; zbMATH DE number 1303433

Cited in

(9)

• scientific article; zbMATH DE number 1078591 (Why is no real title available?)
• Binding forms in first-order logic
• scientific article; zbMATH DE number 1440090 (Why is no real title available?)
• Effective interpolation and preservation in guarded logics
• Inexpressiveness of first-order fragments
• On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
• Undecidable relativizations of algebras of relations
• Atoms in infinite dimensional free sequence-set algebras
• scientific article; zbMATH DE number 834561 (Why is no real title available?)

This page was built for publication: Taming first-order logic

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