Results 101 to 110 of about 39,273,340 (170)

Verifiable biology. [PDF]

J R Soc Interface, 2023
Konur S, Gheorghe M, Krasnogor N.
europepmc   +1 more source

starMC: an automata based CTL* model checker. [PDF]

PeerJ Comput Sci, 2022
Amparore EG, Donatelli S, Gallà F.
europepmc   +1 more source

Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics

, 1998
We consider two systems of intuitionistic modal logic which are computationally motivated: first, they have a constructive proof theory, and second, their modalities allow several computational interpretations.
Eike Ritter, Valeria de Paiva, Natasha Alechina   +2 more
core  

Subject-matter and intensional operators I: conditional-agnostic analytic implication. [PDF]

Philos Stud, 2023
Ferguson TM.
europepmc   +1 more source

The Kripke family : history and memories

This book was compiled by Harley Kripke around 2008 to document the family tree of his father, Sherwin Kripke.
Kripke, Harley
core  

Correspondence of Contradictions in the Constructive Connexive Calculus <b>C</b>. [PDF]

Arch Math Log
Niki S.
europepmc   +1 more source

The social phenomenon of rare diseases: a logical-modal analysis. [PDF]

Front Sociol
Fernández-Vilas E, Coca JR, Plaza-Gómez N, Toscano FS.   +3 more
europepmc   +1 more source

A Kripke semantics and tableaux for Monadic Wajsberg logic

This paper introduces a Kripke semantics and tableaux for Monadic~Wajsberg logic \cite{Figallo}, a generalisation of propositional Wajsberg logic.
Lewis-Smith, A.
core  

A Dynamic Epistemic Logic with Lying and Theory of Mind Limitations. [PDF]

J Logic Lang Inf
Top JD, Verbrugge R, de Weerd H.
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
europepmc   +1 more source