Resolution calculi for modal logics

DOI10.1090/trans2/143/01zbMath0671.03007OpenAlexW4236090957MaRDI QIDQ3824388

Grigori Mints

Publication date: 1989

Published in: Eight Papers Translated from the Russian (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/trans2/143/01

zbMATH Keywords

modal logicnatural deductionresolution method

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) ⋮ Resolution with order and selection for hybrid logics

This page was built for publication: Resolution calculi for modal logics