Two decidable classes of formulas of the modal logic S5

DOI10.1007/BF02465136zbMath0969.03031OpenAlexW2158806800MaRDI QIDQ5930988

No author found.

Publication date: 24 July 2001

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02465136

zbMATH Keywords

decidabilitydecidable classes of formulasderivabilityMaslov's inverse methodquantifier modal logic S5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Cites Work

• The inverse method for establishing deducibility for logical calculi
• Unnamed Item
• Unnamed Item

This page was built for publication: Two decidable classes of formulas of the modal logic S5