Ground Nonmonotonic Modal Logic S5: New Results

DOI10.1093/LOGCOM/EXI042zbMath1092.03017OpenAlexW1987509337MaRDI QIDQ3374103

Verónica Borja Macías, José Ramón Enrique Arrazola Ramírez, Mauricio Osorio Galindo, Juan Antonio Navarro 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

natural deduction systemlogic programminganswer set semanticsmodal logic S5FOUR bilattice logicground nonmonotonic reasoningsemantics of programming

Mathematics Subject Classification ID

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

Related Items (6)

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

Uses Software

• Smodels

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