Results 221 to 230 of about 79,610 (265)
Sequential Dynamic Logic [PDF]
Journal of Logic, Language and Information, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gabbay Dov M, Bochman Alexander
exaly +3 more sources
Linguistics and Philosophy, 1991 Abstract This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as “dynamic predicate logic,” is intended as a first step toward a compositional, non-representational theory of discourse semantics.
Martin Stokhof, Jeroen Groenendijk
exaly +5 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Bulletin of Mathematical Biology, 2010
The ability of the human brain to carry out logical reasoning can be interpreted, in general, as a by-product of adaptive capacities of complex neural networks. Thus, we seek to base abstract logical operations in the general properties of neural networks designed as learning modules. We show that logical operations executable by McCulloch-Pitts binary
Mizraji, Eduardo, Lin, Juan
openaire +2 more sources
The ability of the human brain to carry out logical reasoning can be interpreted, in general, as a by-product of adaptive capacities of complex neural networks. Thus, we seek to base abstract logical operations in the general properties of neural networks designed as learning modules. We show that logical operations executable by McCulloch-Pitts binary
Mizraji, Eduardo, Lin, Juan
openaire +2 more sources
2020 IEEE International Symposium on Circuits and Systems (ISCAS), 2020
Cloud computing is increasing the demand for large scale, energy efficient, and fast computing systems. One circuit technique satisfying these goals is dynamic logic. Furthermore, since portability is not required for cloud computing centers, these systems can support cryogenic operation.
Nurzhan Zhuldassov, Eby G. Friedman
openaire +1 more source
Cloud computing is increasing the demand for large scale, energy efficient, and fast computing systems. One circuit technique satisfying these goals is dynamic logic. Furthermore, since portability is not required for cloud computing centers, these systems can support cryogenic operation.
Nurzhan Zhuldassov, Eby G. Friedman
openaire +1 more source
Dialogue Logic as Dynamic Logic
Logique et Analyse, 2016There are several formal systems for persuasive dialogue. Dialogue systems are multi-Agent systems, and this contrasts with the general lack of any agency in standard logics other than in the case of epistemic and deontic logics. Dialogue systems have been called logics. A logic usually has a semantics and a proof system, and questions of soundness and
openaire +3 more sources
2011
Evidence is the underpinning of beliefs and knowledge. Modeling evidence for an agent requires a more fine-grained semantics than possible worlds models. We do this in the form of "neighbourhood models", originally proposed for weak modal logics.
van Benthem, J., Pacuit, E.
openaire +3 more sources
Evidence is the underpinning of beliefs and knowledge. Modeling evidence for an agent requires a more fine-grained semantics than possible worlds models. We do this in the form of "neighbourhood models", originally proposed for weak modal logics.
van Benthem, J., Pacuit, E.
openaire +3 more sources
Logic and the Dynamics of Information
Minds and Machines, 2003We discuss how issues of information and computation interact with logic today, and what might be a natural extended agenda of investigation.
openaire +4 more sources
The dynamic logic of permission
Journal of Logic and Computation, 1996Traditional accounts of deontic logic have been unable to do justice to disjunctive sentences such as ``You may have either icecream or fruit pie''. Such free choice permission expresses that the agent is allowed to perform either of two (or more actions).
openaire +1 more source
Default Logic as Dynamic Doxastic Logic
Erkenntnis, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Proceedings of IEEE Custom Integrated Circuits Conference - CICC '94, 1995
With adiabatic techniques for capacitor charging, theory suggests that it should be possible to build gates with arbitrarily small energy dissipation. In practice the complexity of adiabatic approaches has made them impractical. We describe a new CMOS logic family-Adiabatic Dynamic Logic (ADL)-that is the result of combining adiabatic theory with ...
Alex G. Dickinson, John S. Denker
openaire +1 more source
With adiabatic techniques for capacitor charging, theory suggests that it should be possible to build gates with arbitrarily small energy dissipation. In practice the complexity of adiabatic approaches has made them impractical. We describe a new CMOS logic family-Adiabatic Dynamic Logic (ADL)-that is the result of combining adiabatic theory with ...
Alex G. Dickinson, John S. Denker
openaire +1 more source