scientific article; zbMATH DE number 970635
From MaRDI portal
Publication:5688814
zbMath0874.03021MaRDI QIDQ5688814
Ullrich Hustadt, Renate A. Schmidt, Hans Jürgen Ohlbach
Publication date: 5 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesssoundnessmulti-modal logicfunctional translationknowledge representation systemsefficient reasoning with finite setsknowledge representation language ALCNlogic of graded modalitiestwo-step translation of graded modal logic into predicate logic
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)
Related Items (3)
Complexity of modal logics with Presburger constraints ⋮ A simple tableau system for the logic of elsewhere ⋮ Modal Expressiveness of Graph Properties
This page was built for publication:
