Results 221 to 230 of about 109,474 (252)
Some of the next articles are maybe not open access.
Quantified Modal Logic With Rigid Terms
Mathematical Logic Quarterly, 1988It is well known how to set theoretically define semantics of modal predicate logic extending Kripke semantics. One disadvantage of those approaches yet is that they do not allow to treat identity in the usual style of classical logic. This is mainly caused by the fact that the canonical models do not interpret the equality sign as identity relation ...
openaire +1 more source
Translating Novelty of Business Model into Terms of Modal Logics
2003By employing some modalities as bases for modeling business processes, the present paper shows that a conventional way of analyzing Petri nets also turns out to be a method for specifying the novelty of business processes. This novelty is translated into terms of modal logics.
Hiroshi Kawakami +3 more
openaire +1 more source
History and Philosophy of Logic, 2018
The aim of this paper is to investigate the problem of existential import in Abelard's modal logic, and to ask whether the system of logical relationships that he proposes for modal propositions maintains its validity when some of the terms included in these propositions are empty.
openaire +2 more sources
The aim of this paper is to investigate the problem of existential import in Abelard's modal logic, and to ask whether the system of logical relationships that he proposes for modal propositions maintains its validity when some of the terms included in these propositions are empty.
openaire +2 more sources
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms [PDF]
, 2018 We introduce labelled sequent calculi for quantified modal logics with non-rigid and non-denoting terms. We prove that these calculi have the good structural properties of G3-style calculi. In particular, all rules are height-preserving invertible, weakening and contraction are height-preserving admissible and cut is admissible.
Eugenio Orlandelli, giovanna corsi
openaire
Health insurance status and cancer stage at diagnosis and survival in the United States
Ca-A Cancer Journal for Clinicians, 2022Jingxuan Zhao +2 more
exaly