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/04210127zbMATH Open0697.03002OpenAlexW1974621699MaRDI QIDQ911574FDOQ911574

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

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

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)

Cited In (6)

• Title not available (Why is that?)
• Decision problems and recursiveness in formal logic systems
• Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated Reasoning with Analytic Tableaux and Related Methods

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)