Ground Nonmonotonic Modal Logic S5: New Results

DOI10.1093/LOGCOM/EXI042zbMATH1092.03017OpenAlexW1987509337MaRDI QIDQ3374103FDOQ3374103

Authors Mauricio Osorio Galindo, José Ramón Enrique Arrazola Ramírez, Verónica Borja Macías, Juan Antonio Pérez

Publication date 9 March 2006

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exi042

zbMATH Keywords

logic programminganswer set semanticsnatural deduction systemmodal logic S5FOUR bilattice logicground nonmonotonic reasoningsemantics of programming

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• Ground Nonmonotonic Modal Logics
• scientific article; zbMATH DE number 140400
• First-order ground non-monotonic modal logic
• scientific article; zbMATH DE number 431928
• scientific article; zbMATH DE number 140404

Cited in

(6)

• An extension of the stable semantics via Lukasiewicz logic
• Equivalence for the \(G_3^\prime\)-stable models semantics
• Revisiting da Costa logic
• Brief study of G'₃ logic
• Weakening and extending \(\mathbb{Z}\)
• Revisiting \(\mathbb Z\)

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: Ground Nonmonotonic Modal Logic S5: New Results

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