Search

Search Results

Found 71 items.

Syntactic properties of p-consequence

Szymon Frankowski

285-295

2011-12-20
Regions-based two dimensional continua: The Euclidean case

Geoffrey Hellman, Stewart Shapiro

499-534

2015-05-15
Axiomatization of BLRI Determined by Limited Positive Relational Properties

Tomasz Jarmużek, Mateusz Klonowski

1-29

2022-01-30
Counterparts, Essences and Quantified Modal Logic

Tomasz Bigaj

39-52

2022-01-10
On classical behavior of intuitionistic modalities

Sergey Drobyshevich

79–104

2014-08-16
On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)

Jiří Raclavský

57–68

2013-10-05
A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States

Piotr Kulicki, Robert Trypuz, Robert Craven, Marek J. Sergot

583-617

2023-06-02
Truth and the Unity of Logical Validity

Andrea Strollo

263-287

2024-01-21
How to define a mereological (collective) set

Rafał Gruszczyński, Andrzej Pietruszczak

309-328

2010-12-30
Lewisian Naturalness and a new Sceptical Challenge

Matej Drobňák

3-28

2021-02-19
ZF and the axiom of choice in some paraconsistent set theories

Thierry Libert

91-114

2003-11-23
Notes on reference

Jan Woleński

209-223

1998-11-06
Decidability of mereological theories

Hsing-chien Tsai

45-63

2009-08-15
Establishing Logical Forms What is assigned to what, how and why

Jaroslav Peregrin, Vladimír Svoboda

421-442

2023-06-02
Process in Reality: A logical offering

Joseph E. Brenner

165-202

2005-12-23
Finitely inseparable first-order axiomatized mereotopological theories

Hsing-chien Tsai

347–363

2013-06-11
Particular Reasoning Within Theories

João Rasga, Cristina Sernadas

1-37

2025-03-28
A modal restriction of R-Mingle with the variable-sharing property

Gemma Robles, José M. Méndez, Francisco Salto

341-351

2010-12-30
Topological aspects of combinatorial possibility

Thomas Mormann

75-92

2003-10-27
G.E. Moore on logical possibility

Tadeusz Czarnecki

7–19

2004-01-19
Proof theory of epistemic logic of programs

Paolo Maffezioli, Alberto Naibo

301–328

2013-09-12

22 - 42 of 71 items << < 1 2 3 4 > >>