Su, Ezgi Iraz A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming. (English) Zbl 1497.68462 Fundam. Inform. 176, No. 3-4, 205-234 (2020). MSC: 68T27 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Avellone, Alessandro; Fiorentini, Camillo; Momigliano, Alberto A semantical analysis of focusing and contraction in intuitionistic logic. (English) Zbl 1350.03014 Fundam. Inform. 140, No. 3-4, 247-262 (2015). Reviewer: Valery Plisko (Moskva) MSC: 03B20 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Wolski, Marcin Incomplete and nondeterministic information systems: object-directed semantics for descriptor languages. (English) Zbl 1243.68282 Fundam. Inform. 109, No. 3, 355-368 (2011). Reviewer: Ion Iancu (Craiova) MSC: 68T37 68U35 68T27 × Cite Format Result Cite Review PDF Full Text: DOI