The following pages link to Mladen Vuković (Q190353):
Displaying 9 items.
- A note on bisimulation and modal equivalence in provability logic and interpretability logic (Q361870) (← links)
- On provability logics with linearly ordered modalities (Q456968) (← links)
- Some characterization and preservation theorems in modal logic (Q714726) (← links)
- Interpolation and the interpretability logic of PA (Q867400) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Interpretability in PRA (Q1035648) (← links)
- On arithmetical completeness of the logic of proofs (Q1625591) (← links)
- Provability logic and the completeness principle (Q1740459) (← links)
- The principles of interpretability (Q5937854) (← links)
