Search

Search Results

• On Displaying Negative Modalities

  Sergey Drobyshevich

  161-192

  2017-07-28
• More on the decidability of mereological theories

  Hsing-chien Tsai

  251-265

  2011-11-30
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

  2019-07-18
• Notes on models of first-order mereological theories

  Hsing-chien Tsai

  469-482

  2015-04-28
• Connexive Extensions of Regular Conditional Logic

  Yale Weiss

  611-627

  2018-08-16
• Vagueness and Formal Fuzzy Logic: Some Criticisms

  Giangiacomo Gerla

  431-460

  2017-11-15
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

  Eugenio Orlandelli

  139-183

  2020-10-10
• Decidability of mereological theories

  Hsing-chien Tsai

  45-63

  2009-08-15
• Finitely inseparable first-order axiomatized mereotopological theories

  Hsing-chien Tsai

  347–363

  2013-06-11
• Temporal non-commutative logic: Expressing time, resource, order and hierarchy

  Norihiro Kamide

  97-126

  2009-11-30
• Discrete linear temporal logic with current time point clusters, deciding algorithms

  V. Rybakov

  143-161

  2008-06-19
• Propositions, possible worlds, and recursion

  Andrzej Wiśniewski

  73–79

  2011-06-30
• Logics for Knowability

  Mo Liu, Jie Fan, Hans van Ditmarsch, Louwe B. Kuijer

  385-426

  2021-12-08
• Special Issue on point-free geometry and topology. An introduction

  Cristina Coppola, Giangiacomo Gerla

  139–143

  2013-06-11