Binding forms in first-order logic

DOI10.4230/LIPICS.CSL.2015.648MaRDI QIDQ5351988zbMATH OpenOpenAlexFDO

Authors Fabio Mogavero, Giuseppe Perelli

Publication date 31 August 2017

Full work available at URL http://dx.doi.org/10.4230/LIPIcs.CSL.2015.648

zbMATH Keywords

decidable fragmentsfirst-order logicmodel checkingsatisfiability

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modal languages and bounded fragments of predicate logic
• Binding modalities
• Taming first-order logic
• scientific article; zbMATH DE number 1303433
• Decidable fragments of first-order modal logics

Cited in

(6)

• Complexity of the multilevel critical node problem
• Binding modalities
• scientific article; zbMATH DE number 1980922 (Why is no real title available?)
• Taming strategy logic: non-recurrent fragments
• Uniform guarded fragments
• Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic

This page was built for publication: Binding forms in first-order logic

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