Szukaj

Wyniki wyszukiwania

• On Displaying Negative Modalities

  Sergey Drobyshevich

  161-192

  28.07.2017
• More on the decidability of mereological theories

  Hsing-chien Tsai

  251-265

  30.11.2011
• Notes on models of first-order mereological theories

  Hsing-chien Tsai

  469-482

  28.04.2015
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

  18.07.2019
• Connexive Extensions of Regular Conditional Logic

  Yale Weiss

  611-627

  16.08.2018
• Vagueness and Formal Fuzzy Logic: Some Criticisms

  Giangiacomo Gerla

  431-460

  15.11.2017
• Finitely inseparable first-order axiomatized mereotopological theories

  Hsing-chien Tsai

  347–363

  11.06.2013
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

  Eugenio Orlandelli

  139-183

  10.10.2020
• Decidability of mereological theories

  Hsing-chien Tsai

  45-63

  15.08.2009
• Temporal non-commutative logic: Expressing time, resource, order and hierarchy

  Norihiro Kamide

  97-126

  30.11.2009
• Discrete linear temporal logic with current time point clusters, deciding algorithms

  V. Rybakov

  143-161

  19.06.2008
• Propositions, possible worlds, and recursion

  Andrzej Wiśniewski

  73–79

  30.06.2011
• Logics for Knowability

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

  385-426

  08.12.2021
• Special Issue on point-free geometry and topology. An introduction

  Cristina Coppola, Giangiacomo Gerla

  139–143

  11.06.2013