Branching time agents logics, satisfiability problem by rules in reduced form

From MaRDI portal
Revision as of 15:27, 2 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2331127

DOI10.33048/SEMI.2019.16.079zbMath1436.03126OpenAlexW3015257209MaRDI QIDQ2331127

Vladimir Vladimirovich Rybakov

Publication date: 25 October 2019

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33048/semi.2019.16.079




Related Items (5)




Cites Work




This page was built for publication: Branching time agents logics, satisfiability problem by rules in reduced form