Results 31 to 40 of about 1,012,276 (331)
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013 Philippe Balbiani +2 more
openalex +3 more sources
A Neighbourhood Semantics for the Logic TK
Principia: An International Journal of Epistemology, 2011 The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using
Cezar A. Mortari +1 more
doaj +3 more sources
On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial ...
Davide Bresolin +2 more
doaj +1 more source
Philosophia Scientiæ, 2015 In Hintikka's philosophy the notion of analyticity occupies a special place (e.g., [Hintikka 1973], [Hintikka 2007]); in particular, the Finnish thinker distinguishes two notions of analyticity—one based on the concept of information, the other on the ...
Francesca Poggiolesi
doaj +1 more source
Neutrosophic Modal Logic [PDF]
Neutrosophic Sets and Systems, 2017 We introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal Logic includes the neutrosophic operators that express the modalities. It is an extension of neutrosophic predicate logic and of neutrosophic propositional logic.
Florentin Smarandache
doaj +1 more source
The Local Definability of Robotic Large-Scale Knowledge Based on Splitting
International Journal of Advanced Robotic Systems, 2016 In order to reduce the computational tasks in robots with large-scale and complex knowledge, several methods of robotic knowledge localization have been proposed over the past decades.
Maonian Wu, Yunliang Jiang, Shaojun Zhu
doaj +1 more source
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic [PDF]
International Journal of Computational Intelligence Systems, 2012 This paper focuses on effcient non-clausal resolution-based automated reasoning methods and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to extensions of α-lock resolution.
Xingxing He +3 more
doaj +1 more source
Brodsky’s coding method for propositional logic
Lietuvos Matematikos Rinkinys, 2017 Brodsky’s coding method for propositional logic is considered in the paper. Based on the sequent calculus, the method allows us to determine whether an arbitrary sequent is derivable in the calculus without constructing proof-search trees.
Romas Alonderis
doaj +1 more source
Proving since ever? An inferential approach to compactness in propositional logic
O Que Nos Faz Pensar, 2022 An inferential approach to compactness/finitude in propositional logic.
Jean-Baptiste Joinet
doaj +1 more source
Advanced Materials Technologies, EarlyView.This critical review presents a comprehensive roadmap for the precision 3D printing of cellulose. Quantitative correlations link ink formulation and rheological properties to print fidelity and final material performance. This framework guides the development of advanced functional materials, from biomedical scaffolds to electromagnetic shielding ...
Majed Amini +3 more
wiley +1 more source