Download PDFOpen PDF in browserDerivational modal logic of real line with difference modality4 pages•Published: July 28, 2014AbstractWe study derivational modal logic of real line with difference modality and prove that it has finite model property but does not have finite axiomatization.Keyphrases: derivatinal operator, difference modality, finite axiomatization, fmp, topological sematics In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 136-139.
|