Interpolation and Beth definability in default logics

DOI10.1007/978-3-030-19570-0_44OpenAlexW2944531937MaRDI QIDQ2296753

Valentin Cassano, Carlos Areces, Raul Fervari, Pablo F. Castro

Publication date: 18 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-19570-0_44

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

Unnamed Item, A tableaux calculus for default intuitionistic logic