As city-level modal splits are outcomes of city functions, it is essential to understand whether and how attributes affect derive a shift toward low-emission travel modes sustainable mobility in cities. This study elucidates this relationship between 46 cities worldwide, proposing two-step data mining framework. First, using the K-Means method, we classify into private-vehicle-, public-transit-...

Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standa...

In this paper we propose a novel minimality criterion for models of modal logics based on a variation of the notion of simulation, called subset-simulation. We present a minimal model sound and complete tableau calculus for the generation of this new kind of minimal models for the multi-modal logic K(m), and we discuss extensions to cover more expressive logics. The generation of minimal models...

A system is classified as multimodal if its language has more than one modal operator as primitive, and such operators are not interdefinable. We extend the anodic and cathodic modal systems, introduced in [BS09a] and [BS10], to a class of the so-called basilar multimodal systems generating, in this way, the classes of anodic and cathodic multimodal logics. The cathodic multimodal systems are d...

Gödel’s modal logic approach to analyzing provability attracted a great deal of attention and eventually led to two distinct mathematical models. The first is the modal logic GL, also known as the Provability Logic, which was shown in 1979 by Solovay to be the logic of the formal provability predicate. The second is Gödel’s original modal logic of provability S4, together with its explicit coun...

We study a bimodal nonmonotonic logic MBNF suggested in [Lifschitz, 1994] as a generalization of a number of nonmonotonic formalisms We show first that it is equivalent to a certain nonmodal system involving rules of a special kind Next, it is shown that the latter admits a modal representation that uses only one modal opera tor the operator of belief Moreover, under this translation the models...

We consider probabilistic modal logic, graded modal logic and stochastic modal logic, where linear inequalities may be used to express numerical constraints between quantities. For each of the logics, we construct a cut-free sequent calculus and show soundness with respect to a natural class of models. The completeness of the associated sequent calculi is then established with the help of coalg...

Traditional epistemic logic can be seen as a particular branch of modal logic. Its semantics is defined in terms of Kripke models, and philosophical principles about knowledge (e.g. factivity: Kφ→ φ) are shown to correspond to properties of the epistemic accessibility relation (e.g. reflexivity). By adding another (doxastic) accessibility relation, also belief can be treated in this framework. ...