modal operators
Physical properties as modal operators in the topos approach to quantum mechanics
... In this section we study a class of classical interpretations for quantum properties when the topos approach to quantum systems is considered. For this purpose, we use the theory of modal operators on ...
16
EXPTIME tableaux for the coalgebraic mu-calculus
... of modal rank in the presence of ...for modal operators, which allows us to subsume for instance the graded µ-calculus that cannot be expressed in terms of the ∇-operator used in ...of modal ...
33
DECOMPOSITION OF NEUTROSOPHIC FUZZY MATRICES
... Abstract: In this paper, we study some properties of modal operators in Neutrosophic fuzzy matrix and we introduce a new composition operation and discuss some of its algebraic properties. Finally, we ...
11
Essays on Alternative Perspectives on Cross Border B2B Trust and Commitment
... the modal semantics he and Pivato have developed, it’s not clear what it even means to say that the laws of physics are nomologically necessary according to the laws of ...the modal operators within ...
58
MoL 2005 03: Algebraizing Hybrid Logic
... In this thesis we introduce and study an extension of hybrid logic in which the set of nominals may be endowed with an algebraic structure. In other words we add modal operators only for nominals. The main ...
57
Vol 9, No 1 (2018)
... I n this paper we propose a new approach for Medical diagnosis with the symptoms of disease using IFS with Extended Modal Operators For Negation. This operators apply to identified the disease of the ...
5
PP 2003 08: Categorial Grammar at a Cross Roads
... dyadic modal logic is decidable and indeed, its satisfiability problem is complete for polynomial space ...finds modal logics anywhere between polynomial time and ...the modal logic of associative ...
23
New Operations on Intuitionistic Fuzzy Multisets
... In this paper we proposed some new operations on intuitionistic fuzzy multisets (IFMSs), deduced some theorems with respect to the algebra of IFMSs and modal operators on I[r] ...
7
A Note on Nesting in Dyadic Deontic Logic
... uses modal operators for obligation and permission where, intuitively, Oϕ means that it ought to be the case (or, it is obligatory) that the formula ϕ be true, and as the dual, Pϕ means it is permitted that ...
17
Intuitionistic Fuzzy Sets and its Applications in Medical Diagnosis
... symptoms of disease using intuitionistic fuzzy sets with extended modal operators for negation.. Keywords: Intuitionistic fuzzy set, intuitionistic fuzzy relation, extended m[r] ...
5
Horn fragments of the Halpern Shoham Interval Temporal Logic
... multi-dimensional modal logic [Gabbay et ...between modal operators representing time, space, knowledge, actions, ...propositional modal operators over interacting universal ...
40
X 2000 01: Dynamic Knowledge Logic
... Because formulas can contain dynamic modal operators too, we need to extend ag to action types and actions: the interpretation of a formula with a dynamic modal operator [ ] depends on t[r] ...
39
New Operators over the Generalized Intuitionistic Fuzzy Sets
... data. Modal operators, topological operators, level operators, negation operators and aggregation operators are different groups of operators over the IFS due to ...
5
Equivalent Modeling Method and Experimental Verification of Honeycomb Sandwich Panels
... In this paper, the theoretical equivalent model of sandwich panel with uniform wall thickness positive hexagonal aluminum honeycomb sandwich panel is summarized. Then, the model is simulated with sandwich plate and the ...
8
PP 2006 06: A New Modal Lindstr\"om Theorem
... that modal languages are well-balanced fragments of classical ones combining good expressive power with reasonable computational complexity for model checking and ...makes modal logic tick in other ...first ...
16
Uncertainty quantification of brake squeal Iistability via surrogate modelling
... In 2014, Tison et al. published an interesting journal paper on uncertainty and robustness of squeal simulations. In their investigation, an industrial brake model consisting of the disc, pads, calliper, knuckle, ...
201
PP 2017 04: Completeness for mu calculi: a coalgebraic approach
... All our proofs involve automata in an essential way. This should not come as a surprise, as the use of automata (more specifically: finite state devices operating on potentially infinite objects such as infinite words, ...
62
A Study on the Thermal Properties Of 100% Modal Fabric
... Modal was first developed by Aust ria based Lenzing AG Company who trade marked the fabrics’ name, but now many manufacturers make their own versions. It was initially imported from Czech Repu blic, Slovakia, ...
9
On multivalued nonlinear variational inclusion problems with accretive mappings in Banach spaces
... Based on the notion of (A,η)-accretive mappings and the resolvent operators associated with (A,η)-accretive mappings due to Lan et al., we study a new class of multivalued nonlinear variational inclusion problems ...
12
PP 2014 08: Stable canonical rules
... As we saw in Section 5, stable canonical rules ρ(A, D) axiomatize all normal rule systems and all normal modal logics. In this section we consider two extreme cases, when D = ∅ and when D = A. In the first case we ...
21