Ground Nonmonotonic Modal Logic S5: New Results

DOI10.1093/LOGCOM/EXI042zbMATH Open1092.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

Recommendations

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

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)

Cited In (6)

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

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)