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
• scientific article; zbMATH DE number 834561
• scientific article; zbMATH DE number 1303433

Cited in

(13)

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

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)