scientific article

zbMATH Open0584.68093MaRDI QIDQ3707433

Victor W. Marek

Publication date: 1985

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

zbMATH Keywords

default reasoningnon-monotonic logicdatabase updatingmodal logic with two modal operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Information storage and retrieval of data (68P20)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Recommendations

• A natural semantics for modal logic over databases 👍 👎
• Modal logics in the theory of relational databases 👍 👎
• Datalog and Logic Databases 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: