A Kripke Semantics for Commutative Generalised Basic Logic
Andrew Lewis-Smith, Zhiguang Zhao
openalex +1 more source
Formal verification of bioinformatics software using model checking and theorem proving. [PDF]
Brief BioinformWeerasena H +3 more
europepmc +1 more source
Glueing of Algebras for Substructural Logics(Non-Classical Logics and Their Kripke Semantics)
, 1995 Hiroyuki Shirasu
openalex +1 more source
Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]
Sci RepLu C, Li C, Liu C, Wu X, Huang Y.
europepmc +1 more source
Exploring the Representations of Individual Entities in the Brain Combining EEG and Distributional Semantics. [PDF]
Front Artif Intell, 2022 Bruera A, Poesio M.
europepmc +1 more source
Four-valued modal logic: Kripke semantics and duality
, 2018 Achim Jung, Umberto Rivieccio
openalex +2 more sources
Reasoning about possibilities: Modal logics, possible worlds, and mental models. [PDF]
Psychon Bull RevJohnson-Laird PN, Ragni M.
europepmc +1 more source
Adaptation of Connectionist Weighted Fuzzy Logic Programs with Kripke-Kleene Semantics
, 2008 Alexandros Chortaras +3 more
openalex +1 more source
Kripke Semantics for Modal Bilattice Logic [PDF]
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013 Achim Jung, Umberto Rivieccio
openaire +1 more source
Reframing Kripke: Resolution Matrix Semantics with Broad Truth Values
Andrey Kuznetsov
openalex +1 more source