scientific article

From MaRDI portal

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

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

Publication:3774999

Jump to:navigation, search

zbMath0635.68109MaRDI QIDQ3774999

Yasubumi Sakakibara

Publication date: 1987

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

zbMATH Keywords

modal logic atom completeness PROLOG Kripke semantics logic programming world

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) General topics in the theory of software (68N01)

Related Items (3)

Connectionist modal logic: representing modalities in neural networks ⋮ An epistemic model of logic programming ⋮ Intuitionistic fuzzy Prolog

This page was built for publication:

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