Results 31 to 40 of about 6,864,933 (152)
Kripke structure transitions to use case parameters.
, 2020 Kripke structure transitions to use case parameters.
Muddassar Azam Sindhu (8735385) +2 more
core +1 more source
Optimum satisfaction of CTL formulae for indeterminate labelled Kripke structures [PDF]
, 2022 Model checking is an automatic technique for verifying whether the dynamics of a system satisfy the properties expressed in temporal logic. This is achieved by algorithmically verifying that a Kripke structure representation of system dynamics is a model
Dixon, Michael
core +1 more source
A SIM vending machine start a transaction Kripke structure.
, 2020 A SIM vending machine start a transaction Kripke structure.
Muddassar Azam Sindhu (8735385) +2 more
core +1 more source
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources
Journal of Applied Mathematics, 2014 Semantic collision is inevitable while building a domain ontology from heterogeneous data sources (semi-)automatically. Therefore, the semantic consistency is indispensable precondition for building a correct ontology.
Shihan Yang, Hongyan Tan, Jinzhao Wu
doaj +1 more source
Intuitionistic Validity in T-normal Kripke Structures [PDF]
, 1993 Let T be a first-order theory. A T-normal Kripke structure is one in which every world is a classical model of T. This paper gives a characterization of the intuitionistic theory HT of sentences intuitionistically valid (forced) in all T-normal Kripke ...
Samuel R. Buss, Buss, Samuel R.
core +1 more source
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core +2 more sources
An Intuitionistic Investigation of Prerequisite-Effect Structure [PDF]
, 2012 Although the formalization of legal documents is quite useful, they contain various kinds of if-then relations. In this paper, we aim at formalizing the prerequisite-effect structure in temporal/causal settings.
Hagiwara, Shingo +5 more
core +1 more source
Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability
Известия Иркутского государственного университета: Серия "Математика"We study intransitive temporal multi-agent logic with agents’ multi-valuations for letters and formulas. In previous wide accepted research the time and knowledge primarily were modeled by Kripke models with structure looking as simply a single time ...
K. V. Grekovich +2 more
doaj +1 more source
Journal for the Scientific Study of Religion, EarlyView.ABSTRACT Much of the activism on environmental issues within the US Catholic Church is not coming from those with institutional power (like bishops and diocesan priests), but rather from sisters, who have no formal power. What factors facilitate sisters’ environmental activism?
Sabrina Danielsen, Ellie Simmons
wiley +1 more source
Logics of intuitionistic Kripke-Platek set theory [PDF]
, 2021 We investigate the logical structure of intuitionistic Kripke-Platek set theory IKP, and show that the first-order logic of IKP is intuitionistic first-order logic IQC.
Iemhoff, R., Passmann, R.
core +2 more sources