Results 101 to 110 of about 14,300 (195)

Succinctness in subsystems of the spatial mu-calculus

, 2017
In this paper we systematically explore questions of succinctness in modal logics employed in spatial reasoning. We show that the closure operator, despite being less expressive, is exponentially more succinct than the limit-point operator, and that the $
Fernández-Duque, David, Iliev, Petar
core  

Verifiable biology. [PDF]

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

Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics [PDF]

, 2017
Dominik Klein, Rasmus K. Rendsvig
openalex   +1 more source

An Efficient Simulation Algorithm on Kripke Structures [PDF]

, 2012
Francesco Ranzato
openalex   +1 more source

The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. [PDF]

Minds Mach (Dordr), 2023
Cignarale G, Schmid U, Tahko T, Kuznets R.   +3 more
europepmc   +1 more source

Modal Structuralism with Theoretical Terms. [PDF]

Erkenntnis, 2023
Andreas H, Schiemer G.
europepmc   +1 more source

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

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

Automated characterization of abdominal MRI exams using deep learning. [PDF]

Sci Rep
Kim J, Chae A, Duda J, Borthakur A, Rader DJ, Gee JC, Kahn CE, Penn Medicine BioBank, Witschey WR, Sagreiya H.   +9 more
europepmc   +1 more source

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

Inquisitive Neighborhood Logic. [PDF]

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