A natural semantics for modal logic over databases

DOI10.1016/0304-3975(88)90077-1zbMath0645.03015OpenAlexW2099248291MaRDI QIDQ1102937

Victor W. 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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• The mathematics of non-monotonic reasoning
• Functions in databases
• Equivalences among Relational Expressions
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

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