We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the proof of a generic completeness theorem fo...
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 ...
Prenex Normal Form in the Modal Predicate Logic PS*S and the Grosseteste Algebra of Sets GS*S 喜欢 0 阅读量: 32 作者: RL Wilson 摘要: This article has no associated abstract. ( fix it ) DOI: 10.1002/malq.19740201312 被引量: 1
These logics include Pauly''s Coalition Logic CL, Alternating-time Temporal Logic ATL, the logic of seeing-to-it-that'' (STIT), and epistemic extensions thereof. While complete axiomatizations of CL and ATL exist, only the fragment of the STIT language without temporal operators and without ...
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, ...
Local Normal Forms of Noncommutative Functions These are natural generalisations of the simple singularities and those with infinite multiplicity in Arnold's classification. We obtain normal forms away ... G Brown,M Wemyss 被引量: 0发表: 2021年 ...
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 MathSciNetBroersen, J., Herzig, A., Troquard, N.: What groups do, can do, and know they can do: An analysis in normal ...
2) normal system of medium multi-modallogic 中介多模态逻辑正规系统3) non-normal modal logic 非正规模态逻辑4) modal logic system S5 模态逻辑系统S5 1. Normal form theorem in modal logic system S5 and its application to knowledge base theory; 模态逻辑系统S5中的范式定理及其在知识系统中的...
Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams for
1) non-normal modal logic 非正规模态逻辑 2) Normal Modal Propositional Logic System 正规模态逻辑系统 1. Discussing about the Completeness Proof ofNormal Modal Propositional Logic System 对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。