Description

• Title:
  Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
• Creator:
  Bashmakov, Stepan I.;
  Zvereva, Tatyana Yu.
• Contributor:
  Bashmakov, Stepan I. - Siberian Federal University, Department of Algebra and Mathematical Logic, 660041, Svobodny #79, Krasnoyarsk, Russia;
  Zvereva, Tatyana Yu. - Siberian Federal University, Department of Algebra and Mathematical Logic, 660041, Svobodny #79, Krasnoyarsk, Russia;
  Bashmakov, Stepan I. - krauder@mail.ru;
  Zvereva, Tatyana Yu. - 3336259@gmail.com
• Description:
  This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2022.11.07;
  2022.09.09
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;3;
  51
• Subject:
  multi-agent system;
  Kripke semantic;
  unification;
  modal logic;
  non-transitive time;
  step-like;
  universal modality;
  finite model property;
  p-morphism
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/44038 ;
  2449-836X;
  10.18778/0138-0680.2022.16
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other