1–20 of 274 hits

Sort by: Relevancy | Date newest | Title A-Z

  1.  

    Non-distributive logics: from semantics to meaning

    Conradie, Willem / Palmigiano, Alessandra / Robinson, Claudette et al. | arXiv | 2020
  2.  

    On the Equipollence of the Calculi Int and KM

    Muravitsky, Alexei | arXiv | 2017
  3.  

    Interpretability in PRA

    Bílková, Marta / de Jongh, Dick / Joosten, Joost J. | arXiv | 2020
  4.  

    A Modal Logic of Supervenience

    Fan, Jie | arXiv | 2016
  5.  

    Algebraic semantics for hybrid logics

    Conradie, Willem / Robinson, Claudette | arXiv | 2016
  6.  

    Modelling informational entropy

    Conradie, Willem / Craig, Andrew / Palmigiano, Alessandra et al. | arXiv | 2019
  7.  

    First-order justification logic with constant domain semantics

    Fitting, Melvin / Salvatore, Felipe | arXiv | 2018
  8.  

    On the Blok-Esakia theorem for universal classes

    Stronkowski, Michał M. | arXiv | 2018
  9.  

    Algorithmic correspondence and canonicity for non-distributive logics

    Conradie, Willem / Palmigiano, Alessandra | arXiv | 2016
  10.  

    Modal Logic With Non-deterministic Semantics: Part I - Propositional Case

    Coniglio, Marcelo E. / del Cerro, Luis Fariñas / Peron, Newton M. | arXiv | 2018
  11.  

    On one embedding of Heyting algebras

    Muravitsky, Alexei | arXiv | 2017
  12.  

    Categories: How I Learned to Stop Worrying and Love Two Sorts

    Conradie, Willem / Frittella, Sabine / Piazzai, Michele et al. | arXiv | 2016
  13.  

    Constructive Canonicity of Inductive Inequalities

    Conradie, Willem / Palmigiano, Alessandra | arXiv | 2016
  14.  

    Interpretability logics and generalized Veltman semantics

    Mikec, Luka / Vuković, Mladen | arXiv | 2019

Number of results: 10 | 20 | 50

Feedback