Splitting property for epistemic equilibrium logics

DOI10.1007/S11787-025-00402-5MaRDI QIDQ6876506zbMATH OpenFDO

Authors Ezgi Iraz Su

Publication date 13 January 2026

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11787-025-00402-5

zbMATH Keywords

(epistemic) splitting property(reflexive) autoepistemic logic(subjective) constraint monotonicity\textsf{KD45}\textsf{SW5}answer-set programmingepistemic specificationsequilibrium logichere-and-there logicmodal logics \textsf{S5}

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A monotonic view on reflexive autoepistemic reasoning
• A new logical characterisation of stable models and answer sets
• A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
• All I know: A study in autoepistemic logic
• Autoepistemic answer set programming
• Autoepistemic equilibrium logic and epistemic specifications
• Capturing equilibrium models in modal logic
• Die formalen Regeln der intuitionistischen Logik. I, II, III.
• Epistemic answer set programming
• Epistemic logic programs: a study of some properties
• Epistemic logic programs: a study of some properties
• Equilibrium logic
• Founded world views with autoepistemic equilibrium logic
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Logic programming and reasoning with incomplete information
• Refining the semantics of epistemic specifications
• Semantical considerations on nonmonotonic logic
• Splitting epistemic logic programs
• Splitting epistemic logic programs
• Strongly equivalent logic programs

This page was built for publication: Splitting property for epistemic equilibrium logics

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