Search

Search Results

Found 38 items.

Notes on models of first-order mereological theories

Hsing-chien Tsai

469-482

2015-04-28
Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

Thomas Macaulay Ferguson

389-407

2018-08-08
Neighborhood Semantics for Basic and Intuitionistic Logic

Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

339–355

2015-08-20
Twist-Valued Models for Three-Valued Paraconsistent Set Theory

Walter A. Carnielli, Marcelo E. Coniglio

187-226

2021-05-04
Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Springer, 2016

Francesca Poggiolesi

555-560

2016-07-21
A Theory of Propositions

Nicholas J.J. Smith

83-125

2015-11-07
Sorites, Curry and Suitable Models

Bruno Da Ré, Paula Teijeiro

593-614

2020-02-28
Dynamic Epistemic Logic and Logical Omniscience

Mattias Skipper Rasmussen

377–399

2015-08-18
An addendum to: “Notes on models of first-order mereological theories”

Hsing-chien Tsai

483

2015-12-12
First Degree Entailment, Symmetry and Paradox

Greg Restall

3-18

2016-10-19
Remarks on Stable Formulas in Intuitionistic Logic

Majid Alizadeh, Ali Bibak

209-222

2018-11-18
Models of possibilism and trivialism

Luis Estrada-González

175–205

2012-06-15
Abelian mereology

A. J. Cotnoir

429-447

2015-03-05
ZF and the axiom of choice in some paraconsistent set theories

Thierry Libert

91-114

2003-11-23
The true bisimulations for 'since' and 'until'

Holger Sturm

173–183

2004-01-19
Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

Daniel Rönnedal

3-52

2017-05-01
Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility

Daniela Glavaničová, Matteo Pascucci

653-679

2021-12-27
Comparing Expressiveness of Logics Defined within Different Classes of Models An analysis of some formal conditions

Diego Fernandes

247-261

2024-12-13
Distributed Relation Logic

Gerard Allwein, William L. Harrison, Thomas Reynolds

19-61

2016-07-19
Simplified Kripke style semantics for some very weak modal logics

Andrzej Pietruszczak

271-296

2010-03-30
On minimal models for pure calculi of names

Piotr Kulicki

429-443

2013-08-29

1 - 21 of 38 items 1 2 > >>