Taming first-order logic

DOI10.1093/JIGPAL/6.2.305zbMATH Open0898.03004OpenAlexW2056039757MaRDI QIDQ4383703FDOQ4383703

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

Recommendations

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

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)

Cited In (9)

• Binding forms in first-order logic
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)