scientific article

From MaRDI portal

Revision as of 12:24, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3767322

Jump to:navigation, search

zbMath0631.03007MaRDI QIDQ3767322

Luis Fariñas del Cerro

Publication date: 1985

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

zbMATH Keywords

resolution Modal Logic

Mathematics Subject Classification ID

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

Related Items (7)

Resolution theorem proving in reified modal logics ⋮ Linear strategy for propositional modal resolution ⋮ Modal resolution in clausal form ⋮ Resolution principles in possibilistic logic ⋮ Resolution for some first-order modal systems ⋮ TABLEAUX: A general theorem prover for modal logics ⋮ Planning temporal events using point-interval logic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3767322&oldid=17314190"