Open AccessUnification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
Author(s) -
Степан И. Башмаков,
Tatyana Yu. Zvereva
Publication year - 2022
Publication title -
bulletin of the section of logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.225
H-Index - 13
eISSN - 2449-836X
pISSN - 0138-0680
DOI - 10.18778/0138-0680.2022.16
Subject(s) - unification , transitive relation , modality (human–computer interaction) , property (philosophy) , mathematics , linear temporal logic , pure mathematics , discrete mathematics , algebra over a field , computer science , algorithm , theoretical computer science , artificial intelligence , combinatorics , programming language , philosophy , epistemology