Results 241 to 250 of about 79,610 (265)

Dynamic Łukasiewicz Logic and Dynamic MV-algebras

International Journal of Approximate Reasoning, 2020
Gaetano Vitale, Revaz Grigolia, Antonio Di Nola   +2 more
exaly  

Unificational dynamic logic

J. Inf. Process. Cybern., 1986
The paper presents a version of PROLOG-oriented dynamic logic and considers some elementary descriptive and proof-theoretical properties of the system.
openaire   +1 more source

Dynamic Metabolic Control: From the Perspective of Regulation Logic

Synthetic Biology and Engineering, 2023
Chenyi Li, Yajun Yan, Tian Jiang
exaly  

On dynamic logic

Kybernetika, 1980
Petr Hájek 0001, Pavel Kalásek, Petr Kurka   +2 more
openaire   +2 more sources

Dynamic logic for belief revision

Journal of Applied Non-Classical Logics, 2007
Johan Van Benthem
exaly  

Low-power split-path data-driven dynamic logic

IET Circuits, Devices and Systems, 2009
Fabio Frustaci, Marco Lanuzza, Pasquale Corsonello   +2 more
exaly  

Dynamic logic of preference upgrade

Journal of Applied Non-Classical Logics, 2007
Fenrong Liu, Johan Van Benthem
exaly  

Inquisitive dynamic epistemic logic

SynthÈse, 2014
Floris Roelofsen, Roelofsen Floris
exaly  

Dynamic parameter adaptation in particle swarm optimization using interval type-2 fuzzy logic

Soft Computing, 2014
Patricia Melin, Frumen Olivas, Fevrier Valdez   +2 more
exaly  

A Propositional Dynamic Logic with Qualitative Probabilities

Journal of Philosophical Logic, 1999
Dimitar Guelev
exaly