scientific article; zbMATH DE number 7585705
From MaRDI portal
Publication:5104696
Joost J. Joosten, Ana de Almeida Borges
Publication date: 15 September 2022
Full work available at URL: https://arxiv.org/abs/2003.13651
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite model propertyprovability logicquantified modal logicdecidable logicsstrictly positive logicsarithmetic interpretationsfeasible fragments
Related Items (1)
This page was built for publication: