Results 151 to 160 of about 16,014 (243)

Simplified Kripke-Style Semantics for Some Normal Modal Logics [PDF]

, 2019
Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav Petrukhin   +2 more
openalex   +1 more source

Replies to the Critics of Knowing and Checking: an Epistemological Investigation. [PDF]

Acta Anal, 2023
Melchior G.
europepmc   +1 more source

On the constant domains principle and its weakened versions in the Kripke sheaf semantics

, 2018
Dmitry P. Skvortsov
openalex   +2 more sources

Ability and knowledge: from epistemic transition systems to labelled stit models. [PDF]

Auton Agent Multi Agent Syst
Kuncová A, Broersen J, Duijf H, Ramírez Abarca AI.   +3 more
europepmc   +1 more source

A Topological Approach to Full Belief. [PDF]

J Philos Logic, 2019
Baltag A, Bezhanishvili N, Özgün A, Smets S.   +3 more
europepmc   +1 more source

Two simple models for linear set theory(Non-Classical Logics and Their Kripke Semantics)

, 1995
Masaru Shirahata
openalex   +1 more source

A First Step to the Categorical Logic of Quantum Programs. [PDF]

Entropy (Basel), 2020
Sun X, He F.
europepmc   +1 more source

Computers, meaning, and consciousness. [PDF]

Neurosci Conscious
Worden R.
europepmc   +1 more source

NUMBERS IN A LATTICE VALUED SET THEORY(New Aspects in Non-Classical Logics and Their Kripke Semantics)

, 1997
Satoko Titani
openalex   +1 more source

Conceptual Engineering Should be Empirical. [PDF]

Erkenntnis
Landes E.
europepmc   +1 more source