Order:
  1.  32
    Abstract Logical Constants.Tin Perkov - 2018 - Logica Universalis 12 (3-4):341-350.
    A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  34
    Natural Deduction for Modal Logic of Judgment Aggregation.Tin Perkov - 2016 - Journal of Logic, Language and Information 25 (3-4):335-354.
    We can formalize judgments as logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation. This paper focuses on a modal formalization which nicely expresses classical properties of judgment aggregation rules and famous results of social choice theory, like Arrow’s impossibility theorem. A natural deduction system for modal logic of judgment aggregation is presented in this paper. The system is sound and complete. As (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  12
    Filtrations of Generalized Veltman Models.Tin Perkov & Mladen Vuković - 2016 - Mathematical Logic Quarterly 62 (4-5):412-419.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  11
    Some Characterization and Preservation Theorems in Modal Logic.Tin Perkov - 2012 - Annals of Pure and Applied Logic 163 (12):1928-1939.
    A class of Kripke models is modally definable if there is a set of modal formulas such that the class consists exactly of models on which every formula from that set is globally true. In this paper, a class is also considered definable if there is a set of formulas such that it consists exactly of models in which every formula from that set is satisfiable. The notion of modal definability is then generalized by combining these two. For thus obtained (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  7
    A Note on Logicality of Generalized Quantifiers.Tin Perkov - 2021 - Logica Universalis 15 (2):149-152.
    This note follows up an earlier paper in which a possibility of defining logical constants within abstract logical frameworks was discussed, by using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality. In the present note, this approach is applied to the discussion on logicality of generalized quantifiers. It is demonstrated that generalized quantifiers are logical constants by this criterion.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  13
    A 4-Valued Framework Encompassing Intuitionistic and Classical Logic.Tin Perkov - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):138-143.
    A 4-valued framework is proposed to distinguish intuitionistically valid formulas within classical validities.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  4
    Existential Definability of Modal Frame Classes.Tin Perkov & Luka Mikec - 2020 - Mathematical Logic Quarterly 66 (3):316-325.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark