scientific article; zbMATH DE number 887303

MaRDI QIDQ4881682zbMATH OpenFDO

Authors Wiera Barbara Dobrowolska

Publication date 12 May 1997

zbMATH Keywords

decidable classes of formulasfirst-order logicrelational logicsatisfiabilitytranslation of formulas

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) Database theory (68P15)

Recommendations

• Decidability of some classes of modal logic
• scientific article; zbMATH DE number 1416393
• scientific article; zbMATH DE number 868091
• scientific article; zbMATH DE number 1765694
• Relational Logics and Their Applications
• Decision problems for equational theories of relation algebras
• scientific article; zbMATH DE number 638616
• scientific article; zbMATH DE number 4177028
• scientific article; zbMATH DE number 868092
• A class of decidable information logics

Cited in

(11)

• Decision problems for subclasses of rational relations over finite and infinite words
• The undecidability of FO3 and the calculus of relations with just one binary relation
• Deciding whether a relation defined in Presburger logic can be defined in weaker logics
• scientific article; zbMATH DE number 1301759 (Why is no real title available?)
• scientific article; zbMATH DE number 1163946 (Why is no real title available?)
• scientific article; zbMATH DE number 1775481 (Why is no real title available?)
• Deciding properties of integral relational automata
• scientific article; zbMATH DE number 1926635 (Why is no real title available?)
• scientific article; zbMATH DE number 1858071 (Why is no real title available?)
• scientific article; zbMATH DE number 1416393 (Why is no real title available?)
• A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics

This page was built for publication:

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