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]
Simon Kramer, Joshua Sack
openalex +1 more source
Kripke semantics and tableau procedures for constructive description logics.
Loris Bozzato
openalex +1 more source
Lattices of Subframe Logics A Survey(Non-Classical Logics and Their Kripke Semantics)
Frank Wolter
openalex +1 more source
Kripke semantics and proof systems for combining intuitionistic logic and classical logic
Chuck Liang, Dale Miller
openalex +2 more sources
Simplified Kripke style semantics for some very weak modal logics
Andrzej Pietruszczak
openalex +2 more sources

