Search

Search Results

Found 500 items.

Either epistemicism or logic

Piotr Łukowski

329-351

2009-03-15
The true bisimulations for 'since' and 'until'

Holger Sturm

173–183

2004-01-19
Compositionality is not the problem

Wilfrid Hodges

7-33

1998-11-06
Guest editors’ introduction

Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli

5-6

2010-06-30
An addendum to: “Notes on models of first-order mereological theories”

Hsing-chien Tsai

483

2015-12-12
Logics for Knowability

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

385-426

2021-12-08
On Logical Characterisation of Human Concept Learning based on Terminological Systems

Farshad Badie

545-566

2017-07-24
Literal and Controllable Paraconsistency

Janusz Ciuciura

561-579

2024-11-02
Axiomatization of BLRI Determined by Limited Positive Relational Properties

Tomasz Jarmużek, Mateusz Klonowski

1-29

2022-01-30
Derivability of rules from rule complexes

Anna Gomolińska

21–44

2004-01-19
On Brouwer’s criticism of classical logic and mathematics

Tomasz Placek

19-33

2003-10-27
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis

329–363

2013-09-18
On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

Janusz Ciuciura

235-252

2005-12-23
Introduction

Erik Weber, Dietlinde Wouters, Joke Meheus

319–322

2012-12-20
Acknowledgments

LLP LLP

555-556

2015-12-12
Mereology and Infinity

Karl-Georg Niebergall

309-350

2016-08-08
Equating categorially names and quantifiers within first-order logic

Jacek Paśniczek

119–129

2004-01-19
Patterns of scientific reasoning: An introduction

Erik Weber

3-5

2005-06-23
A formal theory of physical necessity

Marcin Tkaczyk

65-83

2007-07-25
S5-Style Non-Standard Modalities in a Hypersequent Framework

Yaroslav Petrukhin

427-456

2021-12-16
A norm-giver meets deontic action logic

Robert Trypuz, Piotr Kulicki

59–72

2011-06-30

232 - 252 of 500 items << < 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 > >>