Two decision problems in Contact Logics

DOI10.1093/JIGPAL/JZY016zbMath1494.03072OpenAlexW2919623650WikidataQ129758261 ScholiaQ129758261MaRDI QIDQ5241914

Çiğdem Gencer, Philippe Balbiani, Zafer Ozdemir

Publication date: 4 November 2019

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

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

zbMATH Keywords

satisfiability problemunifiability problemcontact logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Two decision problems in Contact Logics