A graph-theoretic account of logics

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics

Time-stamped claim logic

The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are considered to be more trustworthy than others. We introduce the Time-Stamped Claim Logic including a sound and complete sequent calculus. In order to show how Time-Stamped Claim Logic can be used in practice, we consider a concrete cyber-attribution case study

Autism community perspectives on autism research

Dada a sua elevada prevalência global (cerca de 1 em 100), gravidade e complexidade etiológica, o autismo é hoje uma importante área de investigação. O presente trabalho teve como objetivo compreender quais as preocupações éticas, perspetivas e expetativas de pais e profissionais da saúde e educadores ligados ao autismo, no que diz respeito à investigação desta patologia. O trabalho foi desenvolvido no âmbito de uma rede de investigação europeia sobre sinais precoces de autismo. Em paralelo em vários países da Europa, foram identificados os tópicos de maior interesse para pais e profissionais através de grupos de foco, na sequência dos quais se elaborou um inquérito online que foi distribuído por esta comunidade ligada ao autismo. Em Portugal, os inquiridos (n=331) mostraram um interesse global pela investigação em autismo, nomeadamente sobre as bases genéticas e sobre sinais precoces de autismo. Relativamente aos benefícios resultantes da participação em projetos de investigação, os pais privilegiaram o acesso a intervenção e a formação pessoal, enquanto que os profissionais deram mais importância ao acesso a mais conhecimento e a equipas especializadas. Os três grupos deram ênfase ao acesso à informação completa obtida durante a investigação e às conclusões gerais do estudo. Os resultados obtidos reforçam a importância da investigação do autismo, indicando também linhas claras de atuação que têm em observação as perspetivas da comunidade ligada ao autismo.Given its high global prevalence, clinical severity and etiological complexity, autism has become an impor tant research area. This work was developed within a European research network on early signs of autism, and aimed to understand the specific ethical concerns of parents and practitioners in health and education, with regard to research in autism, and understand their perspectives and expectations. Using focus groups, the topics of greatest interest for this community were identified and an online sur vey was developed and distributed to the community. Respondents in Por tugal (n = 331) showed a global interest in autism research, with special focus on autism genetics and early signs of autism. Concerning the par ticipation in research projects and its direct benefits, parents privileged access to inter vention and training, while professionals wanted access to more knowledge and specialized teams. The three groups favored access to the full information obtained from research and the general conclusions of the studies. Thus, the results reinforce the interest of parents and professionals in autism research and provide clear lines of conduct taking into account this community's perspectives and expectations

Modulated fibring and the collapsing problem

Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge to fibring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that fibring imposes unwanted interconnections between the given logics. Modulated fibring allows a finer control of the combination, solving the collapsing problem both at the semantic and deductive levels. Main properties like soundness and completeness are shown to be preserved, comparison with fibring is discussed, and some important classes of examples are analyzed with respect to the collapsing problem.6741541156

Generic Modal Cut Elimination Applied to Conditional Logics

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature

Completeness and decidability results for hybrid(ised) logics

Adding to the modal description of transition structures the ability to refer to specific states, hybrid(ised) logics provide an interesting framework for the specification of reconfigurable systems. The qualifier ‘hybrid(ised)’ refers to a generic method of developing, on top of whatever specification logic is used to model software configurations, the elements of an hybrid language, including nominals and modalities. In such a context, this paper shows how a calculus for a hybrid(ised) logic can be generated from a calculus of the base logic and that, moreover, it preserves soundness and completeness. A second contribution establishes that hybridising a decidable logic also gives rise to a decidable hybrid(ised) one. These results pave the way to the development of dedicated proof tools for such logics used in the design of reconfigurable systems

Asymmetric Combination of Logics is Functorial: A Survey

Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective—that this sort of combination of logics possesses a functorial nature. Such a view gives rise to several interesting questions. They range from the problem of combining translations (between logics), to that of ensuring property preservation along the process, and the way different asymmetric combinations can be related through appropriate natural transformations

Intervention Services for Autistic Adults: An ASDEU Study of Autistic Adults, Carers, and Professionals' Experiences

The Autism Spectrum Disorders in the European Union (ASDEU) survey investigated local services' use experiences of autistic adults, carers and professionals with interventions for autistic adults. The majority of the 697 participants experienced recommended considerations prior to deciding on intervention and during the intervention plan and implementation. Psychosocial interventions were the most commonly experienced interventions, while pharmacological interventions NOT recommended for core autistic symptoms were reported by fairly large proportions of participants. Family interventions were experienced slightly more commonly by carers than adults or professionals. Less than the 26% of autistic adult responders who had experienced challenging behaviors reported receiving an intervention to change them. These results provide insights for improving gaps in service provision of interventions among autistic adults.Peer reviewe

Early Detection, Diagnosis and Intervention Services for Young Children with Autism Spectrum Disorder in the European Union (ASDEU): Family and Professional Perspectives

Early services for ASD need to canvas the opinions of both parents and professionals. These opinions are seldom compared in the same research study. This study aims to ascertain the views of families and professionals on early detection, diagnosis and intervention services for young children with ASD. An online survey compiled and analysed data from 2032 respondents across 14 European countries (60.9% were parents; 39.1% professionals). Using an ordinal scale from 1 to 7, parents’ opinions were more negative (mean = 4.6; SD 2.2) compared to those of professionals (mean = 4.9; SD 1.5) when reporting satisfaction with services. The results suggest services should take into account child’s age, delays in accessing services, and active stakeholders’ participation when looking to improve services