A tableau system for instantial neighborhood logic

DOI10.1007/978-3-319-72056-2_21zbMath1503.03033OpenAlexW2770605226MaRDI QIDQ1709714

Junhua Yu

Publication date: 6 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72056-2_21

zbMATH Keywords

tableauneighborhood logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus

This page was built for publication: A tableau system for instantial neighborhood logic