Results 121 to 130 of about 16,014 (243)

Local causation. [PDF]

Synthese, 2021
Brunet TDP.
europepmc   +1 more source

Kripke-type semantics for da Costa's paraconsistent logic ${\rm C}_\omega$. [PDF]

, 1986
Matthias Baaz
openalex   +1 more source

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

Formalizing the use case model: A model-based approach. [PDF]

PLoS One, 2020
Zaman QU, Nadeem A, Sindhu MA.
europepmc   +1 more source

Truthmaker Semantics for Intuitionistic Modal Logic. [PDF]

Topoi (Dordr)
Litland JE.
europepmc   +1 more source

Place and place names: a unified model. [PDF]

Front Psychol, 2023
Ursini FA, Zhang YS.
europepmc   +1 more source

A basic system of paraconsistent Nelsonian logic of conditionals. [PDF]

J Logic Lang Inf
Olkhovikov GK.
europepmc   +1 more source

An essentially algebraic glance to Kripke semantics: the S5 case [PDF]

Matteo De Berardinis, Silvio Ghilardi
openalex   +1 more source

Subintuitionistic logics and their modal companions: a nested approach. [PDF]

J Appl Non Class Log
Tesi M.
europepmc   +1 more source

Sheffer operation in relational systems. [PDF]

Soft comput, 2022
Chajda I, Länger H.
europepmc   +1 more source