Results 101 to 110 of about 16,014 (243)

Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. [PDF]

Entropy (Basel), 2022
Ma Z, Li Z, Li W, Gao Y, Li X.
europepmc   +1 more source

A kripke-kleene semantics for logic programs*

The Journal of Logic Programming, 1985
Familiar semantics for the Horn clause logic programs P is defined by a least fixed point of a monotone transformation \(\Phi_ P\) defined on sets S of atomic statements. The intended interpretation is two-valued with members of S being true and remaining atomic statements false.
openaire   +2 more sources

State/event based versus purely Action or State based Logics

, 2019
Although less studied than purely action or state based logics, state/event based logics are becoming increasingly important. Some systems are best studied using structures with information on both states and transitions, and it is these structures over ...
Smith, James
core  

A partial evaluation methodology for optimizing rewrite theories incrementally. [PDF]

MethodsX, 2022
Alpuente M, Ballis D, Escobar S, Galán Pascual D, Sapiña J.   +4 more
europepmc   +1 more source

Decidability of Multi-agent Logic of Computation Trees $\mathcal{CTLK}^{Rel}$

Известия Иркутского государственного университета: Серия "Математика"
We continue to explore the multi-agent logic of computational trees relative to the relational Kripke semantics of possible worlds: we investigate the question of logical solvability, the complexity of model construction, feasibility testing, and ...
S.I. Bashmakov, K. A. Smelykh
doaj   +1 more source

Categorial modal realism. [PDF]

Synthese, 2023
Brunet TDP.
europepmc   +1 more source

Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules

Bulletin of the Section of Logic
The paper studies extensions of t-normal logics S0.5o and S0.5 obtained by means of some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models.
Andrzej Pietruszczak
doaj   +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

Verifiable biology. [PDF]

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