Listar por autor 

Listar por autor "Venturi, Giorgio"  

Mostrando ítems 1-3 de 3

    • Artículo
      Icon

      A Non-Standard Kripke Semantics for the Minimal Deontic Logic 

      Bezerra, Edson; Venturi, Giorgio (Nicolaus Copernicus Univ Torun, 2021)
      In this paper we study a new operator of strong modality ⊞, related to the non-contingency operator ∆. We then provide soundness and completeness theorems for the minimal logic of the ⊞-operator.
    • Artículo
      Icon

      Many-valued logics and bivalent modalities 

      Bezerra, Edson; Venturi, Giorgio (Nicolaus Copernicus University, 2022)
      In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity ...
    • Artículo
      Icon

      Thin objects are not transparent 

      Plebani, Matteo; San Mauro, Luca; Venturi, Giorgio (Sven Ove Hansson, 2021)
      In this short paper, we analyse whether assuming that mathematical objects are “thin” in Linnebo's sense simplifies the ...