Contact logic is finitary for unification with constants

DOI10.1007/978-981-15-1342-8_4MaRDI QIDQ3298276zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Çiğdem Gencer

Publication date 14 July 2020

Published in Logic in Asia: Studia Logica Library (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-981-15-1342-8_4

zbMATH Keywords

contact logicunification typeunification with constants

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other nonclassical logic (03B60) Topological spaces and generalizations (closure spaces, etc.) (54A05) Logic in artificial intelligence (68T27)

Recommendations

• Two decision problems in Contact Logics
• Admissibility and Unifiability in Contact Logics
• Finitariness of elementary unification in Boolean region connection calculus
• Unification of concept terms in description logics
• scientific article; zbMATH DE number 2015273

Cites work

• KD is nullary
• A representation theorem for Boolean contact algebras
• Admissibility and Unifiability in Contact Logics
• Admissibility of logical inference rules
• Best solving modal equations
• Blending margins: the modal logic K has nullary unification type
• Description of Modal Logics Inheriting Admissible Rules for K4
• Filtering unification and most general unifiers in modal logic
• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 5117075 (Why is no real title available?)
• scientific article; zbMATH DE number 1444734 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• Logics of space with connectedness predicates: complete axiomatizations
• On the complexity of Boolean unification
• Qualitative spatial reasoning with topological information
• Region-based theory of space: algebras of regions, representation theory, and logics
• Spatial logics with connectedness predicates
• Topological logics with connectedness over Euclidean spaces
• Unifiability in extensions of K4
• Unification in modal and description logics
• Unification in the Description Logic $\mathcal{EL}$
• Unification types in logic

Cited in

(3)

• Finitariness of elementary unification in Boolean region connection calculus
• Logics for contact and measure
• Logics for contact and measure

This page was built for publication: Contact logic is finitary for unification with constants

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