A natural semantics for modal logic over databases

DOI10.1016/0304-3975(88)90077-1MaRDI QIDQ1102937zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Equivalences among Relational Expressions
• Functions in databases
• Non-monotonic logic. I
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Semantical considerations on nonmonotonic logic
• The mathematics of non-monotonic reasoning

Cited in

(2)

• scientific article; zbMATH DE number 475245 (Why is no real title available?)
• scientific article; zbMATH DE number 3936550 (Why is no real title available?)

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)