Ground Nonmonotonic Modal Logic S5: New Results

DOI10.1093/LOGCOM/EXI042MaRDI QIDQ3374103zbMATH OpenOpenAlexFDO

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

answer set semanticsFOUR bilattice logicground nonmonotonic reasoninglogic programmingmodal logic S5natural deduction systemsemantics of programming

Mathematics Subject Classification ID

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

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

(7)

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

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)