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/04210127zbMath0697.03002OpenAlexW1974621699MaRDI QIDQ911574

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)

Related Items (1)

Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?

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