A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics

DOI10.2969/JMSJ/04210127MaRDI QIDQ911574zbMATH OpenOpenAlexFDO

Authors Nobuyoshi Motohashi

Publication date 1990

Published in Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2969/jmsj/04210127

zbMATH Keywords

decidabilitymodal logicsR-formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 1858071
• Publication:4731166
• scientific article; zbMATH DE number 887303
• Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability
• scientific article; zbMATH DE number 2209455

Cited in

(6)

• Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
• Automated Reasoning with Analytic Tableaux and Related Methods
• Decision problems and recursiveness in formal logic systems
• scientific article; zbMATH DE number 1858071 (Why is no real title available?)
• scientific article; zbMATH DE number 4145872 (Why is no real title available?)
• scientific article; zbMATH DE number 2109538 (Why is no real title available?)

This page was built for publication: A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics

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