Results 251 to 260 of about 2,335,361 (286)
Some of the next articles are maybe not open access.
A quantitative analysis of modal logic
Journal of Symbolic Logic, 1994AbstractWe do a quantitative analysis of modal logic. For example, for each Kripke structure M, we study the least ordinal μ such that for each state of M, the beliefs up to level μ characterize the agents' beliefs (that is, there is only one way to extend these beliefs to higher levels). As another example, we show the equivalence of three conditions,
openaire +2 more sources
Limited logical belief analysis
1997The process of rational inquiry can be defined as the evolution of a rational agent's belief set as a consequence of its internal inference procedures and its interaction with the environment. These beliefs can be modelled in a formal way using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics
Antonio Moreno, Ton Sales
openaire +1 more source
Analysis of logic-based systems
1996Model based analyses of definite logic programs are discussed in detail. A model of a program captures its properties. Analyzing different models one obtains a flexible approach for verification and optimization of logic-based systems. A uniform implementation of the core algorithms, which exploits deductive database technology, is investigated.
openaire +1 more source
Optimal Control of Logical Control Networks
IEEE Transactions on Automatic Control, 2011Zhiqiang Li, Daizhan Cheng
exaly