Derivational modal logic of real line with difference modality

Andrey Kudinov

doi:10.29007/7gcx

Download PDF Open PDF in browser

Derivational modal logic of real line with difference modality

4 pages•Published: July 28, 2014

Andrey Kudinov

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_of,
  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},
  pages     = {136--139},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Q4r3},
  doi       = {10.29007/7gcx}}

Download PDF Open PDF in browser