Abstract Rosenkranz (2021) devised two bimodal epistemic logics: an idealized one and a realistic one. The former is shown to be sound with respect class of neighborhood frames called i-frames . designed specific i-frame able invalidate series undesired formulas, proving that these are not theorems the logic. Nonetheless, unwanted formula rule inference invalidated. Invalidating guarantees dist...

Rewriting logic and its implementation Maude are an expressive framework for the formal specification verification of software other kinds systems. Concurrency is naturally represented by nondeterministic local transformations produced application rewriting rules over algebraic terms in equational theory. Some aspects global behavior systems or additional constraints sometimes require restricti...

ion reduces the state space by removing irrelevant features of a Kripke structure. Given a Kripke structure K, an abstraction is a Kripke structure K̂ such that K̂ is significantly smaller than K, and K̂ preserves a useful class of specifications for K. Consequently, the expensive task of model checking K can be reduced to the more feasible task of model checking K̂. We know from above that in orde...

1 Introduction There is no agreement among researchers in the area of automated deduction about which features (besides computational efficiency) a suitable theorem proving system for non-classical (in particular modal) logics should have. In our opinion, such a system should (A) avoid ad hoc manipulation of the modal formulas; (B) provide a simple and uniform treatment of a wide variety of mod...

Arguably, model theory serves two main functions: (1) to explain the relationship between language and experience, and (2) to specify the notion of logical consequence. In this paper I shall propose the notion of`knowledge assimilation', the assimilation of new information into a knowledge base, as an alternative understanding of the way in which a knowledge base formulated in logic relates to ...

abstract drought is a natural creeping event that starts due to lower moisture compared to normal condition. this phenomenon impacts all aspects of human activities. however there is neither any detailed definition nor a general and proper index for drought monitoring. in this study, fuzzy logic has been applied to deal with inherent uncertainties of the real world data. we presented a fuzzy mo...