Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability
نویسندگان
چکیده
منابع مشابه
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization
We introduce a version of the probabilistic μ-calculus (PMC) built on top of a probabilistic modal logic that allows encoding n-ary inequational conditions on transition probabilities. PMC extends previously studied calculi and we prove that, despite its expressiveness, it enjoys a series of good metaproperties. Firstly, we prove the decidability of satisfiability checking by establishing the s...
متن کاملComplete axiomatization and decidability of Alternating-time temporal logic
Alternating-timeTemporal Logic (ATL), introduced byAlur,Henzinger andKupferman, is a logical formalism for the specification and verification of open systems involving multiple autonomous players (agents, components). In particular, this logic allows for the explicit expression of coalition abilities in such systems, modelled as infinite transition games between the coalition and its complement...
متن کاملDecidability by Filtrations for graded normal logics (graded modalities V)
1. I n t r o d u c t i o n Graded normal logics ( G N L s ) are the extensions of modal normal logics to a language with graded modalities. The interpretation in usual Kripke models of a formula <>hA (n < w), whose main operator is a graded possibility, is there are more than n accessible worlds where A is true. When graded modalities were introduced (in [7], independently rediscovering a forme...
متن کاملDecidability of Higher-Order Subtyping with Intersection Types
The combination of higher-order subtyping with intersection types yields a typed model of object-oriented programming with multiple inheritance 11]. The target calculus, F ! ^ , a natural generalization of Girard's system F ! with intersection types and bounded polymorphism, is of independent interest, and is our subject of study. Our main contribution is the proof that subtyping in F ! ^ is de...
متن کاملDrooling and Various Therapeutic Modalities
ABSTRACT: Droolig or sialorrhea is a common stigmatizing problem in neurologically damaged child or adult. It is troublesome in perhaps one-third of children with cerebral palsy. Drooling occurs when there is a lack of coordinated control of facial, head and neck musculature. Various therapeutic modalities are advocated for the treatment of drooling ,such as surgical or non surgical, some of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2020
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-020-09901-6