Taming first-order logic

DOI10.1093/JIGPAL/6.2.305zbMath0898.03004OpenAlexW2056039757MaRDI QIDQ4383703

Szabolcs Mikulás

Publication date: 2 April 1998

Published in: Logic Journal of 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) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Effective Interpolation and Preservation in Guarded Logics ⋮ Undecidable relativizations of algebras of relations ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ Atoms in infinite dimensional free sequence-set algebras

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