On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\)

DOI10.1007/s00153-015-0438-7zbMath1341.03091arXiv1309.3408OpenAlexW3104494214WikidataQ60691910 ScholiaQ60691910MaRDI QIDQ892132

Vjekoslav Kovač, Vedran Čačić

Publication date: 18 November 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1309.3408

zbMATH Keywords

normal formsasymptotic enumerationinterpretability logicprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Asymptotic enumeration (05A16) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Uses Software

• Mathematica
• OEIS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on the normal form of closed formulas of interpretability logic
• The On-Line Encyclopedia of Integer Sequences
• The Closed Fragment of IL is PSPACE Hard
• A new principle in the interpretability logic of all reasonable arithmetical theories
• Singularity Analysis of Generating Functions
• Arithmetically complete modal theories

This page was built for publication: On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\)