Pages that link to "Item:Q4918381"
From MaRDI portal
The following pages link to ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY (Q4918381):
Displaying 4 items.
- On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- Rosser Orderings in Bimodal Logics (Q4206710) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
