Search

Search Results

• On Displaying Negative Modalities

  Sergey Drobyshevich

  161-192

  2017-07-28
• 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
• More on the decidability of mereological theories

  Hsing-chien Tsai

  251-265

  2011-11-30
• 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
• Logics for Knowability

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

  385-426

  2021-12-08
• Propositions, possible worlds, and recursion

  Andrzej Wiśniewski

  73–79

  2011-06-30
• Special Issue on point-free geometry and topology. An introduction

  Cristina Coppola, Giangiacomo Gerla

  139–143

  2013-06-11
• Discrete linear temporal logic with current time point clusters, deciding algorithms

  V. Rybakov

  143-161

  2008-06-19