×

zbMATH — the first resource for mathematics

A mechanized decision procedure for non-classical logics: The program KRIPKE. (English) Zbl 0453.03002
MSC:
03-04 Software, source code, etc. for problems pertaining to mathematical logic and foundations
03B25 Decidability of theories and sets of sentences
03B45 Modal logic (including the logic of norms)
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
Keywords:
relevant logics
Software:
KRIPKE
PDF BibTeX XML Cite