scientific article; zbMATH DE number 549984
From MaRDI portal
Publication:4287503
zbMath0798.03027MaRDI QIDQ4287503
Publication date: 3 November 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
formal semanticspartial Kripke modelscircumscriptionsituation semanticsinformational partial orderstrong Kleene connectives
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items (1)
This page was built for publication:
