... License ( https://creativecommons.org/licenses/by/4.0/ ), which permits unrestricted reuse, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean...

... knowledge whether expressivity analytic cut Formalizing epistemic and doxastic contexts using classical modal logics can produce counter-intuitive outcomes. For example, if is interpreted as ‘the agent believes in ’ ¹ , then is valid in every regular classical modal logic...

...-degree entailment non-contingency logic analytic cut expressivity frame correspondence PRELAP ANR-19-CE48-0006 Logics of (non-)contingency extend the language of propositional logic with the operator . If we employ Kripke semantics, is then considered to be true at some state iff...

... implied by or implying a given formula: IPAL. We then determine the relative expressivity of all these logics and APAL. We also present complete axiomatizations of SAPAL and SCAPAL and show undecidability of satisfiability for all logics involved, by arguments nearly identical to those for APAL. We show...

... Genetic background often influences the phenotypic consequences of mutations, resulting in variable expressivity. How standing genetic variants collectively cause this phenomenon is not fully understood. Here, we comprehensively identify loci in a budding yeast cross that impact the growth of individuals...

... with each operator as the modal primitive. We show that the four modalities constitute a square of opposition, which indicates some interesting relationships among them. We compare the relative expressivity of these logics and other related logics, including a logic of false beliefs from...

... inheritance with incomplete penetrance and variable clinical expressivity; the phenotypes of the mutation‐positive subjects ranged from normal height with or without hip dysplasia to severe SEMD with severe short stature and marked skeletal dysplasia. In vitro studies on patient‐derived dermal fibroblasts...

... remains unchanged even if we only allow as inputs formulas built solely out of propositional constants, i.e. without propositional variables. Moreover, we show that this is a consequence of the richness of the expressive power of variable-free fragments: for all the logics we consider, such fragments...

..., so called teams. In this vein, MIL can be seen as a variant of Väänänen’s modal dependence logic MDL . We show that MIL embeds MDL and is strictly more expressive. However, on singleton teams, MIL is shown to be not more expressive than usual modal logic, but MIL is exponentially...

... ] and [ β ] . Let f be the function from the set of all programs into itself inductively defined as follows: Iteration-free PDL parallel composition axiomatisation completeness expressivity Propositional dynamic logic ( P D L ) is an applied logic par excellence . Designed...

... epistemic/awareness change in epistemic awareness models. In its second part, this work extends each one of the discussed languages with a modality for expressing the effect of action models, and studies if (and how) this changes the language's expressivity ( Section 4 ). The extra work in the first part...

... between a set of elements. This explains why modal logics have been used in many, diverse fields. They offer a well balanced trade-off between expressivity and computational complexity (the problem of model checking the basic modal language ℳ ℒ has only polynomial complexity, while the complexity...

...Louwe B. Kuijer E-mail: [email protected] 29 6 2014 © The Author, 2014. Published by Oxford University Press. All rights reserved. For Permissions, please email: [email protected] 2014 The expressivity of update logics LOUWE B. KUIJER, University of Groningen, Faculty...

... and salm ( Guss et al. 2001 ; Halder and Carroll 2001 ), by extracting all sequence read data that mapped to those sites (using the mpileup command in samtools). We used digital gene expression ( Morrissy et al. 2009 ) to identify genes that are misregulated...

...Carlos Areces; Raul Fervari; Guillaume Hoffmann Modal logic dynamic logics expressivity complexity References [1] Areces C. Arrazola X. Larrazabal J. Hybrid logics: the old and the new Proceedings of LogKCA-07 2007 San Sebastian 15 29 [2] Areces C. Fervari R...

...Ernest Davis 18 6 2012 © TheAuthor, 2013. Published by Oxford University Press. All rights reserved. For Permissions, please email: [email protected] 2013 Abstract We consider the expressive power of the first-order structure 〈Ω, C 〉 where Ω is either of two of different domains...

...-reported emotional expressivity also was measured. We searched for brain regions whose activity tracked parametrically with (1) perceivers’ EA and (2) targets’ expressivity. Results Patients showed reduced EA compared with controls. The left precuneus, left middle frontal gyrus, and bilateral thalamus...

..., a dynamic operation of belief change studied in the area of Dynamic Epistemic Logic, to the language of Justification Logic. Introducing notions of bisimulation for the languages of Justification Logic with and without public communication, we catalogue the expressive relationships that exist...

...-pollination and which are accumulated after self-fertilization establishes is poorly understood. Because the expression of floral traits may depend on the conditions experienced by an individual during flower development, investigation of changes in mating system should also account for environmental...

... as first-order formulas over the relation C(x, y). This result characterizes the complexity of the language but not its expressivity. For instance, it is not clear from this result whether a property like ‘regions r and s are homeomorphic’ is expressible...