Hybrid logic of strict betweenness

DOI10.1007/S10992-025-09810-WMaRDI QIDQ6873882zbMATH OpenFDO

Authors Rafał Gruszczyński, Zhiguang Zhao

Publication date 16 January 2026

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10992-025-09810-W

zbMATH Keywords

betweenness relationbinary operatorshybrid logicmodal logicternary relations

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A characterization of ordered sets and lattices via betweenness relations
• Betweenness and Comparability Obtained from Binary Relations
• Betweenness in graphs: a short survey on shortest and induced path betweenness
• Betweenness in order-theoretic trees
• Betweenness of partial orders
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 3152667 (Why is no real title available?)
• scientific article; zbMATH DE number 3508462 (Why is no real title available?)
• La geometria elementare istituita sulle nozioni di ``punto e ``sfera.
• Modal logic
• Pieri's structures
• Strict order-betweennesses
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Trees, Lattices, Order, and Betweenness
• Zur Axiomatik der teilweise geordneten Mengen

This page was built for publication: Hybrid logic of strict betweenness

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