×
Author ID: perkov.tin Recent zbMATH articles by "Perkov, Tin"
Published as: Perkov, Tin
Documents Indexed: 16 Publications since 2012
Co-Authors: 3 Co-Authors with 7 Joint Publications
8 Co-Co-Authors

Citations contained in zbMATH Open

8 Publications have been cited 20 times in 12 Documents Cited by Year
Decidability of interpretability logics \(\mathbf{IL}\text{\texttt{M}}_0\) and \(\mathbf{IL}\text{\texttt{W}}^*\). Zbl 1492.03021
Mikec, Luka; Perkov, Tin; Vuković, Mladen
5
2017
Filtrations of generalized Veltman models. Zbl 1359.03043
Perkov, Tin; Vuković, Mladen
4
2016
A bisimulation characterization for interpretability logic. Zbl 1405.03097
Perkov, Tin; Vuković, Mladen
3
2014
A generalization of modal frame definability. Zbl 1417.03161
Perkov, Tin
2
2014
Some characterization and preservation theorems in modal logic. Zbl 1268.03022
Perkov, Tin; Vuković, Mladen
2
2012
Abstract logical constants. Zbl 1522.03150
Perkov, Tin
2
2018
Natural deduction for modal logic of judgment aggregation. Zbl 1396.03035
Perkov, Tin
1
2016
Towards a generalization of modal definability. Zbl 1372.03041
Perkov, Tin
1
2012
Abstract logical constants. Zbl 1522.03150
Perkov, Tin
2
2018
Decidability of interpretability logics \(\mathbf{IL}\text{\texttt{M}}_0\) and \(\mathbf{IL}\text{\texttt{W}}^*\). Zbl 1492.03021
Mikec, Luka; Perkov, Tin; Vuković, Mladen
5
2017
Filtrations of generalized Veltman models. Zbl 1359.03043
Perkov, Tin; Vuković, Mladen
4
2016
Natural deduction for modal logic of judgment aggregation. Zbl 1396.03035
Perkov, Tin
1
2016
A bisimulation characterization for interpretability logic. Zbl 1405.03097
Perkov, Tin; Vuković, Mladen
3
2014
A generalization of modal frame definability. Zbl 1417.03161
Perkov, Tin
2
2014
Some characterization and preservation theorems in modal logic. Zbl 1268.03022
Perkov, Tin; Vuković, Mladen
2
2012
Towards a generalization of modal definability. Zbl 1372.03041
Perkov, Tin
1
2012