Derivational Modal Logics with the Difference Modality

DOI10.1007/978-94-017-8860-1_11zbMath1352.03031arXiv1405.6700OpenAlexW2131600936MaRDI QIDQ5255799

Andreĭ Valer'Evich Kudinov, Valentin Shehtman

Publication date: 19 June 2015

Published in: Leo Esakia on Duality in Modal and Intuitionistic Logics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.6700

zbMATH Keywords

modal logictopological semanticsdifference modalityuniversal modalityderivational modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (9)

A topological approach to full belief ⋮ Fixed point logics and definable topological properties ⋮ Decidability of modal logics of non-\(k\)-colorable graphs ⋮ TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES ⋮ Fixed point logics and definable topological properties ⋮ STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES ⋮ The finite model property for logics with the tangle modality ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Topological Interpretations of Provability Logic

This page was built for publication: Derivational Modal Logics with the Difference Modality