Search

Search Results

Found 37 items.

On Definability of Connectives and Modal Logics over FDE

Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

631-659

2019-04-11
Connexive Conditional Logic. Part I

Heinrich Wansing, Matthias Unterhuber

567-610

2018-12-28
Neighborhood Semantics for Basic and Intuitionistic Logic

Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

339–355

2015-08-20
A Non-Standard Kripke Semantics for the Minimal Deontic Logic

Edson Bezerra, Giorgio Venturi

97-107

2020-10-08
Connexive Extensions of Regular Conditional Logic

Yale Weiss

611-627

2018-08-16
On classical behavior of intuitionistic modalities

Sergey Drobyshevich

79–104

2014-08-16
Vagueness and Formal Fuzzy Logic: Some Criticisms

Giangiacomo Gerla

431-460

2017-11-15
IEL-based Formal Dialogue System for Tutorials

Paweł Łupkowski

287-320

2017-05-21
Towards a bridge over two approaches in connexive logic

Hitoshi Omori

553-566

2019-01-29
Quantified temporal alethic-deontic logic

Daniel Rönnedal

19–59

2014-08-02
A Classical Logic of Existence and Essence

Sergio Galvan, Alessandro Giordani

541-570

2020-06-12
In defense of operational quantum logic

Sonja Smets

191-212

2003-11-23
How to define a mereological (collective) set

Rafał Gruszczyński, Andrzej Pietruszczak

309-328

2010-12-30
A systematics of deontic action logics based on Boolean algebra

Robert Trypuz, Piotr Kulicki

253-270

2010-03-30
Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

Gemma Robles

311-322

2008-02-26
False Re-Representations in Self-Knowledge

Anita Pacholik-Żuromska

463-481

2020-04-01
Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

Yaroslav Petrukhin

287-318

2025-04-28
Mereology and truth-making

Peter Simons

245-258

2015-10-29
“The whole is greater than the part.” Mereology in Euclid's Elements

Klaus Robering

371-409

2016-05-27
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

José M. Méndez, Gemma Robles

175-191

2007-03-15
On Brouwer’s criticism of classical logic and mathematics

Tomasz Placek

19-33

2003-10-27

1 - 21 of 37 items 1 2 > >>