scientific article
From MaRDI portal
Publication:3333006
zbMath0544.03001MaRDI QIDQ3333006
Andres R. Raggio, Luis Fariñas del Cerro
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Temporal Equilibrium Logic with past operators ⋮ Thirty years of Epistemic Specifications ⋮ Talkin'bout consistency, or: When logically possible becomes possible ⋮ Autoepistemic equilibrium logic and epistemic specifications
This page was built for publication:
