Derivational modal logic of real line with difference modality

4 pages•Published: July 28, 2014

Abstract

We 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.

Links:	https://easychair.org/publications/paper/Q4r3
	https://doi.org/10.29007/7gcx

BibTeX entry

@inproceedings{TACL2013:Derivational_modal_logic_real,
  author    = {Andrey Kudinov},
  title     = {Derivational modal logic of real line with difference modality},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Q4r3},
  doi       = {10.29007/7gcx},
  pages     = {136-139},
  year      = {2014}}

Download PDF Open PDF in browser