Results 181 to 190 of about 16,014 (243)

A Kripke-Lewis semantics for belief update and belief revision [PDF]

Giacomo Bonanno
openalex   +1 more source

Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics

Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1973
openaire   +3 more sources

An application of the Kripke sheaf semantics in intermediate predicate logics(New Aspects in Non-Classical Logics and Their Kripke Semantics)

, 1997
Norihiro Suzuki
openalex   +1 more source

GLOBAL INTUITIONISTIC LOGIC AND ITS SEMANTIC COMPLETENESS(Non-Classical Logics and Their Kripke Semantics)

, 1995
Hiroshi Aoyama
openalex   +1 more source

Game Logic and its Applications I(Non-Classical Logics and Their Kripke Semantics)

, 1995
Mamoru Kaneko, T. Nagashima
openalex   +1 more source