Results 131 to 140 of about 16,014 (243)

A philosophical defence of limited foreknowledge open theism. [PDF]

Int J Philos Relig
Ackermann M.
europepmc   +1 more source

Scientific counterfactuals as make-believe. [PDF]

Synthese, 2022
Iranzo-Ribera N.
europepmc   +1 more source

Kripke-type Semantics for CG3′

, 2016
Verónica Borja Macías, Miguel Pérez-Gaspar   +1 more
openalex   +1 more source

Connexive Exclusion. [PDF]

Erkenntnis
Shramko Y, Wansing H.
europepmc   +1 more source

On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics

, 2010
Robert Rothenberg
openalex   +1 more source

KRIPKE SEMANTICS, COMMON KNOWLEDGE, BOUNDED RATIONALITY AND AUMANN’S AGREEMENT THEOREM

Dushko Josheski, Наташа Митева, Dushica Popova   +2 more
openalex   +2 more sources

Public Announcements, Public Lies and Recoveries. [PDF]

J Logic Lang Inf, 2022
Li K, van Eijck J.
europepmc   +1 more source

Symbolic model checking quantum circuits in Maude. [PDF]

PeerJ Comput Sci
Minh Do C, Ogata K.
europepmc   +1 more source

Open future, supervaluationism and the growing-block theory: a stage-theoretical account. [PDF]

Synthese, 2021
Loss R.
europepmc   +1 more source