scientific article; zbMATH DE number 887303

MaRDI QIDQ4881682zbMATH OpenFDO

Authors Wiera Barbara Dobrowolska

Publication date 12 May 1997

zbMATH Keywords

first-order logicsatisfiabilityrelational logicdecidable classes of formulastranslation of formulas

Mathematics Subject Classification ID

Database theory (68P15) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Recommendations

• Decidability of some classes of modal logic
• Publication:4943492
• 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

(8)

• Deciding properties of integral relational automata
• Decision problems for subclasses of rational relations over finite and infinite words
• scientific article; zbMATH DE number 1775481 (Why is no real title available?)
• scientific article; zbMATH DE number 1926635 (Why is no real title available?)
• scientific article; zbMATH DE number 1858071 (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
• Deciding whether a relation defined in Presburger logic can be defined in weaker logics
• scientific article; zbMATH DE number 1416393 (Why is no real title available?)

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)