Results 131 to 140 of about 39,273,340 (170)

A Note on Los\u27s Theorem for Kripke-Joyal Semantics

Los\u27s theorem, also known as the fundamental result of ultraproducts, states that the ultraproduct over a family of structures for the same language satisfies a first-order formula if and only if the set of indices for which the structures satisfy the
Pascual, Romain, Aiguier, Marc
core  

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]

Sci Rep
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc   +1 more source

Reasoning about possibilities: Modal logics, possible worlds, and mental models. [PDF]

Psychon Bull Rev
Johnson-Laird PN, Ragni M.
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

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

Computers, meaning, and consciousness. [PDF]

Neurosci Conscious
Worden R.
europepmc   +1 more source

Conceptual Engineering Should be Empirical. [PDF]

Erkenntnis
Landes E.
europepmc   +1 more source