scientific article
From MaRDI portal
Publication:3704917
zbMath0582.68057MaRDI QIDQ3704917
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
conjunctive normal formmodal resolutionconstructive existence theoremmodal system Tmodal variant of linear resolution
Related Items
MOLOG: A system that extends PROLOG with modal logic, Resolution with order and selection for hybrid logics, A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics, Temporal representation and reasoning in artificial intelligence: A review