Extensions in graph normal form

DOI10.1093/JIGPAL/JZAA054zbMath1494.03026OpenAlexW3096101318MaRDI QIDQ5066802

Michał Walicki

Publication date: 30 March 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzaa054

zbMATH Keywords

first-order logicconservative extensiondigraph kernelgraph normal formkernel semantics

Mathematics Subject Classification ID

Classical first-order logic (03B10)

This page was built for publication: Extensions in graph normal form