The following pages link to Mladen Vuković (Q190353):
Displaying 47 items.
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- A note on bisimulation and modal equivalence in provability logic and interpretability logic (Q361870) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← 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)
- A cut-free sequent system for the smallest interpretability logic (Q1604800) (← links)
- On arithmetical completeness of the logic of proofs (Q1625591) (← links)
- Provability logic and the completeness principle (Q1740459) (← links)
- The interpretability logic of all reasonable arithmetical theories. The new conjecture (Q1840999) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- Proof-theoretic modal PA-completeness. I: A system-sequent metric (Q1970598) (← links)
- Proof-theoretic modal PA-completeness. II: The syntactic countermodel (Q1970646) (← links)
- Proof-theoretic modal PA-completeness. III: The syntactic proof (Q1970916) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
- Characteristic classes and bisimulations of generalized Veltman models (Q2718477) (← links)
- Some correspondences of principles in interpretability logic (Q2785600) (← links)
- Filtrations of generalized Veltman models (Q2827954) (← links)
- \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic (Q2862108) (← links)
- Bisimulation quotients of Veltman models (Q2888153) (← links)
- Self provers and \(\Sigma_{1}\) sentences (Q2903747) (← links)
- A note on normal forms for the closed fragment of system IL (Q2915733) (← links)
- (Q2940164) (← links)
- (Q3015294) (← links)
- Bisimulations and bisimulation quotients of generalized Veltman models (Q3061279) (← links)
- (Q3433177) (← links)
- (Q3435248) (← links)
- Bisimulations between generalized Veltman models and Veltman models (Q3520227) (← links)
- (Q4241052) (← links)
- A bisimulation characterization for interpretability logic (Q4644496) (← links)
- (Q4821935) (← links)
- Decidability of interpretability logics ILM0 and ILW* (Q5095629) (← links)
- INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
- Complexity of the interpretability logic IL (Q5241913) (← links)
- (Q5411616) (← links)
- The principles of interpretability (Q5937854) (← links)
- Provability logics with quantifiers on proofs (Q5957922) (← links)
- Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
- Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)'' (Q6639617) (← links)
