Two decision problems in Contact Logics

DOI10.1093/JIGPAL/JZY016MaRDI QIDQ5241914zbMATH OpenOpenAlexWikidataFDO

Authors Philippe Balbiani, Çiğdem Gencer, 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

contact logicssatisfiability problemunifiability problem

Mathematics Subject Classification ID

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

Recommendations

• On the Decision Problem for Two-Variable First-Order Logic
• scientific article; zbMATH DE number 1163987
• The decision problem for combined modal logics
• Decision problems and recursiveness in formal logic systems
• scientific article; zbMATH DE number 3316038
• The decision problem for the logic of predicates and of operations
• Decision problems of some intermediate logics and their fragments
• scientific article; zbMATH DE number 4130360
• Decision problems for propositional linear logic
• Admissibility and Unifiability in Contact Logics

Cited in

(1)

• Contact logic is finitary for unification with constants

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5241914)