Results 121 to 130 of about 16,014 (243)
Kripke-type semantics for da Costa's paraconsistent logic ${\rm C}_\omega$. [PDF]
Matthias Baaz
openalex +1 more source
Formalizing the use case model: A model-based approach. [PDF]
Zaman QU, Nadeem A, Sindhu MA.
europepmc +1 more source
Truthmaker Semantics for Intuitionistic Modal Logic. [PDF]
Litland JE.
europepmc +1 more source
Place and place names: a unified model. [PDF]
Ursini FA, Zhang YS.
europepmc +1 more source
A basic system of paraconsistent Nelsonian logic of conditionals. [PDF]
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]
Tesi M.
europepmc +1 more source
Sheffer operation in relational systems. [PDF]
Chajda I, Länger H.
europepmc +1 more source

