Computer Science - Logic in Computer ScienceWe present the concept of a disjunctive basis as a generic framework fornormal forms in modal logic based on coalgebra. Disjunctive bases were definedin previous work on completeness for modal fixpoint logics, where they played acentral role in the ...
Prenex Normal Form in the Modal Predicate Logic PS*S and the Grosseteste Algebra of Sets GS*S 来自 EBSCO 喜欢 0 阅读量: 34 作者: RL Wilson 摘要: This article has no associated abstract. ( fix it ) DOI: 10.1002/malq.19740201312 被引量: 1 ...
3.4 Negation normal forms In order to decrease the number of rules and simplify the presentation, we will consider formulas of a special form, called the negation normal form. In classical logic and all modal logics discussed in this paper every formula is equivalent to a formula in negation ...
Continuum of normal extensions of the modal logic of prov- ability with the interpolation property // Sib. Math. J. 30, No.6, 935-944 (1989)Maksimova, L.L. Continuum of normal extensions of the modal logic of provability with the interpolation property // Sib. Math. J. 30, No.6, ...
What groups do, can do, and know they can do: an analysis in normal modal logics. Journal of Applied Non-Classical Logics, 2009, 19(3): 261–290 MATH MathSciNetJ. Broersen, A. Herzig, and N. Troquard. What groups do, can do, and know they can do: an analysis in normal ...
In order to introduce the quantitatively analytical method into security protocol analysis, a protocol measurement method based on modal logic was defined. 为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在...
[WPF] How to restrict the popup from closing while click on a Windows Forms element? [WPF] How to use binding by ElementName in Resources? [WPF] Refresh item on datagrid after update on DB [WPF] TextBlock: set length of number with string format [WPF] TextBox and String Format Hour:...
In this paper, we will propose a new concept of products of modal logics, which will resemble the products familiar from measure theory and topology. Our products of modal logics can be defined either by means of normal products of general frames or by means of normal products of modal ...
Normal Forms and Proofs in Combined Modal and Temporal Logics - Hustadt, Dixon, et al. - 2000Hustadt, U., Dixon, C., Schmidt, R.A., Fisher, M.: Normal forms and proofs in combined modal and temporal logics. In: Kirchner, H. (ed.) FroCos 2000. LNCS (LNAI), vol. 1794, ...
We also show some transfer results, including transfer of the finite model property.doi:10.1142/9789812776471_0013Yasusi HasimotoDBLPY. Hasimoto, Normal products of modal logics, to appear in Ad- vances in Modal Logic, Volume 3, CSLI Publications....