A natural semantics for modal logic over databases

DOI10.1016/0304-3975(88)90077-1zbMATH Open0645.03015OpenAlexW2099248291MaRDI QIDQ1102937FDOQ1102937

Authors: Wiktor Marek 

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(88)90077-1

Recommendations

• scientific article; zbMATH DE number 3936550
• scientific article; zbMATH DE number 1612536
• Tableaux for Reasoning about Atomic Updates
• scientific article; zbMATH DE number 43591
• scientific article; zbMATH DE number 475245

zbMATH Keywords

nonmonotonic logiclogic databaseclosed-world assumptionmodel theoretic forcingnonmonotone consequence operationstheory of database updates

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Model-theoretic forcing (03C25)

Cites Work

• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Title not available (Why is that?)
• Equivalences among Relational Expressions
• A logic for default reasoning
• Non-monotonic logic. I
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Semantical considerations on nonmonotonic logic
• Circumscription - a form of non-monotonic reasoning
• The mathematics of non-monotonic reasoning
• Title not available (Why is that?)
• Functions in databases

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: A natural semantics for modal logic over databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102937)