Family ${\rm K}$ of the non-Lewis modal systems.
نویسندگان
چکیده
منابع مشابه
THE PRODUCT OF r−k AND ∇δ ON Rm
In the theory of distributions, there is a general lack of definitions for products and powers of distributions. In physics (Gasiorowicz (1967), page 141), one finds the need to evaluate δ2 when calculating the transition rates of certain particle interactions and using some products such as (1/x)·δ. In 1990, Li and Fisher introduced a “computable” delta sequence in an m-dimensional space to ob...
متن کاملk-Bounded Petri Net Synthesis from Modal Transition Systems
We present a goal-oriented algorithm that can synthesise k-bounded Petri nets (k ∈ N+) from hyper modal transition systems (hMTS), an extension of labelled transition systems with optional and required behaviour. The algorithm builds a potential reachability graph of a Petri net from scratch, extending it stepwise with required behaviour from the given MTS and overapproximating the result to a ...
متن کاملEffect of family structure on urban areas modal split by using the life cycle concept
The modal split model is one of the steps of the classical four-step travel demand planning. Predictive, descriptive, and prescriptive modal split models are essential to make a balance between travel demand and supply. To calibrate these models, it is necessary to detect and employ influential independent variables that are related to characteristics of travel modes, individual and family attr...
متن کاملApproximations of Modal Logic K
Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This procedure has a clear semantics and a natural proof theory in the context of Massacci’s modal Single Step Tableaux (SST).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1964
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093957981