Results 161 to 170 of about 16,014 (243)

A Note on Los's Theorem for Kripke-Joyal Semantics [PDF]

Marc Aiguier, Romain Pascual
openalex   +1 more source

Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief) [PDF]

, 2012
Simon Kramer, Joshua Sack
openalex   +1 more source

Kripke semantics and tableau procedures for constructive description logics.

, 2011
Loris Bozzato
openalex   +1 more source

Lattices of Subframe Logics A Survey(Non-Classical Logics and Their Kripke Semantics)

, 1995
Frank Wolter
openalex   +1 more source

Kripke semantics and proof systems for combining intuitionistic logic and classical logic

, 2012
Chuck Liang, Dale Miller
openalex   +2 more sources

Simplified Kripke style semantics for some very weak modal logics

, 2010
Andrzej Pietruszczak
openalex   +2 more sources