Kripke-type semantics for \(\mathrm{CG}_3'\)
From MaRDI portal
Publication:1744430
DOI10.1016/j.entcs.2016.11.003zbMath1394.03045OpenAlexW2567016268WikidataQ113317623 ScholiaQ113317623MaRDI QIDQ1744430
Miguel Pérez-Gaspar, Verónica Borja Macías
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.11.003
Related Items (2)
Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ A family of genuine and non-algebraisable C-systems
Cites Work
This page was built for publication: Kripke-type semantics for \(\mathrm{CG}_3'\)