Results 111 to 120 of about 39,273,340 (170)

Canonical Kripke Models and The Intuitionistic Semantics of Logic Programs (Extended Abstract)

, 1993
) Fangqing Dong and Laks V.S. Lakshmanan Department of Computer Science Concordia University Montreal, Quebec, Canada H3G 1M8 Abstract Motivated by the problem of extending stable semantics (SS) and well-founded semantics (WFS) while avoiding their ...
Fangqing Dong, F. Dong, Laks V. S. Lakshmanan   +2 more
core  

Truthmaker Semantics for Intuitionistic Modal Logic. [PDF]

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

Surprise, surprise: KK is innocent. [PDF]

Thought (Hoboken), 2021
Murzi J, Eichhorn L, Mayr P.
europepmc   +1 more source

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

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

The lost art of short communications in academia. [PDF]

Scientometrics, 2021
Joaquin JJ, Tan RR.
europepmc   +1 more source

Kripke, Myer, 1967 February 16

, 1967
FATHER JOHN P MARKOE, DLR 73OPM STUDENT UNION CREIGHTON UNIVERSITY OMAHA NEBR WARM GREETINGS ON THIS JUBILEE OF SERVICE TO GOD AND MEN. MAY GOD'S BLESSING PRESERVE YOUR STRENGTH AND COURAGE FOR MANY MANY MORE YEARS OF SIGNAL ACHIEVEMENT RABBI AND MRS ...
Kripke, Myer S.
core  

A neuro-symbolic approach to translate English to logic and ontology. [PDF]

Front Artif Intell
Pease A, Thompson R.
europepmc   +1 more source

Local causation. [PDF]

Synthese, 2021
Brunet TDP.
europepmc   +1 more source

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

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

Language-like properties in the vocal behavior of animals. [PDF]

Curr Opin Neurobiol
Bahle AH, Long MA.
europepmc   +1 more source