scientific article; zbMATH DE number 1215470

zbMath0913.03019MaRDI QIDQ4215602

Renate A. Schmidt

Publication date: 7 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilitypropositional modal logicdecision procedurepath logicresolution with condensing

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Resolution with order and selection for hybrid logics

Uses Software

• OTTER

This page was built for publication: