Setting the basis for here and there modal logics

MaRDI QIDQ5869667zbMATH OpenFDO

Authors Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro

Publication date 28 September 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Here and there modal logic with dual implication
• Temporal here and there
• Combining equilibrium logic and dynamic logic
• Cut-free formulations for a quantified logic of here and there
• The Modal Logic of Equilibrium Models

Cited in

(4)

• Autoepistemic answer set programming
• Temporal here and there
• Here and there modal logic with dual implication
• Cut-free formulations for a quantified logic of here and there

This page was built for publication: Setting the basis for here and there modal logics

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