We consider the modal-calculus due to Kozen, which is a nitary modal logic with least and greatest xed points of monotone operators. We extend the existing duality between the category of modal algebras with homomorphisms and the category of descriptive modal frames with contractions to the case of having xed point operators. As a corollary, we obtain a completeness result for Kozen's original ...

This paper describes a model of the choice of modal verbs and modal particles. The choice mechanism does not require a modality-specific input as, e.g., a modal logical formula. Instead semantic (modal force) and pragmatic constraints (speech act marking) are applied to the available information on the whole and constrain the set of modal candidates to those that are appropriate in the respecti...

This paper uses a PSOPC model based non-destructive damage identification procedure using frequency and modal data. The objective function formulation for the minimization problem is based on the frequency changes. The method is demonstrated by using a cantilever beam, four-bay plane truss and two-bay two-story plane frame with different scenarios. In this study, the modal data are provided nume...

We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with intuitionistic disjunction. Furthermore, we show that the expressive power of modal logic with intuitionistic disjunction and extended modal dependence ...

James Ladyman has argued that constructive empiricism entails modal realism, and that this renders constructive empiricism untenable. We maintain that constructive empiricism is compatible with modal nominalism. Although the central term ‘observable’ has been analyzed in terms of counterfactuals, and in general counterfactuals do not have objective truth conditions, the property of being observ...

We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nucalculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification formalisms are structurally equivalent. To the best of our knowledge, this is the first time such a close relationship between a logical and a ...

in contrast to the grammatical category of mood in persian which has been subject to a number of studies, modality as a semantic category has not received the due attention it deserves. this study is fascinated to depict modal functions of tense in persian. in a sense, it tries to take account of the structures used by persian speakers to express their evaluation of the state of affairs. the re...

background: serological diagnosis of toxoplasma gondii infection using crude antigens may not be more accurate. to increase the diagnostic potency of anti-gens, isolation of their immunogenic fractions could be useful. the current re-search adopted to obtain an affinity isolated fraction from rh strain using cnbr sepharose 4b column coupled with infected mice sera helping in detec-tion of igm a...

3 Equivalences, Modal and Temporal Logics 5 3.1 Interactive games and bisimulations . . . . . . . . . . . . . . . 7 3.2 Modal logic and bisimulations . . . . . . . . . . . . . . . . . . . 9 3.3 Temporal properties and modal mu-calculus . . . . . . . . . . 10 3.4 Second-order propositional modal logic . . . . . . . . . . . . . . 15 3.5 Fixed point and second-order games . . . . . . . . . . . . ....

We introduce modal de Vries algebras and develop a duality between the category of modal de Vries algebras and the category of coalgebras for the Vietoris functor on compact Hausdorff spaces. This duality serves as a common generalization of de Vries duality between de Vries algebras and compact Hausdorff spaces, and the duality between modal algebras and modal spaces.