scientific article; zbMATH DE number 887303

zbMATH Open0861.03007MaRDI QIDQ4881682FDOQ4881682

Authors: Wiera Barbara Dobrowolska 

Publication date: 12 May 1997

Title of this publication is not available (Why is that?)

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
• scientific article; zbMATH DE number 868092
• A class of decidable information logics

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)

Cited In (8)

• Deciding properties of integral relational automata
• Decision problems for subclasses of rational relations over finite and infinite words
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deciding whether a relation defined in Presburger logic can be defined in weaker logics
• A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics
• Title not available (Why is that?)

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)