Tableaux for Reasoning about Atomic Updates

DOI10.1007/3-540-45653-8_44MaRDI QIDQ2996198zbMATH OpenOpenAlexFDO

Authors Christian G. Fermüller, Georg Moser, Richard Zach

Publication date 6 May 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45653-8_44

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logics of knowledge and belief (including belief change) (03B42) Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Tableaux for constructive concurrent dynamic logic
• scientific article; zbMATH DE number 1302016
• Tableau methods for modal and temporal logics
• Incremental Tabling for Query-Driven Propagation of Logic Program Updates
• Tableaux for relation-changing modal logics
• Tableaux and Hypersequents for Justification Logic
• scientific article; zbMATH DE number 1950252
• Tableaux and hypersequents for justification logics
• Tableaux methods for propositional dynamic logics with separating parallel composition
• Tableaux with Dynamic Filtration for Layered Modal Logics

Cited in

(2)

• A natural semantics for modal logic over databases
• Regular database update logics

This page was built for publication: Tableaux for Reasoning about Atomic Updates

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