Pages that link to "Item:Q3752370"

The following pages link to Arithmetically complete modal theories (Q3752370):

Displaying 2 items.

• On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) (Q892132) (← links)
• On arithmetical completeness of the logic of proofs (Q1625591) (← links)