Эта публикация цитируется в 5 статьях

Non-well-founded proofs for the Grzegorczyk modal logic

Yury Savateev, Daniyar Shamkanov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Язык публикации: английский

DOI: 10.1017/S1755020319000510

Реферативные базы данных:

• 
• 
•