scientific article
From MaRDI portal
Publication:3484810
zbMath0705.03006MaRDI QIDQ3484810
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
validitycircumscriptionreasoning about knowledgeknowledge operatorpropositional S5 modal logic of knowledge of one agent
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (3)
Minimal belief and negation as failure ⋮ Autocircumscription ⋮ A logic of knowledge and justified assumption
This page was built for publication:
