scientific article

From MaRDI portal

Revision as of 21:37, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3030269

Jump to:navigation, search

zbMath0626.68066MaRDI QIDQ3030269

Kurt Konolige

Publication date: 1986

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

zbMATH Keywords

epistemic logic modal logics Skolemization analytic tableaux

Mathematics Subject Classification ID

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

Related Items (7)

A tableau-like proof procedure for normal modal logics ⋮ Herbrand style proof procedures for modal logic ⋮ An epistemic model of logic programming ⋮ Resolution for some first-order modal systems ⋮ TABLEAUX: A general theorem prover for modal logics ⋮ On the autoepistemic reconstruction of logic programming ⋮ An intensional epistemic logic

This page was built for publication:

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