Complexity Results for Modal Dependence Logic

Modal dependence logic was introduced recently by V\"a\"an\"anen. It enhances the basic modal language by an operator =(). For propositional variables p_1,...,p_n, =(p_1,...,p_(n-1);p_n) intuitively states that the value of p_n is determined by those of p_1,...,p_(n-1). Sevenster (J. Logic and Computation, 2009) showed that satisfiability for modal dependence logic is complete for nondeterministic exponential time. In this paper we consider fragments of modal dependence logic obtained by restricting the set of allowed propositional connectives. We show that satisfibility for poor man's dependence logic, the language consisting of formulas built from literals and dependence atoms using conjunction, necessity and possibility (i.e., disallowing disjunction), remains NEXPTIME-complete. If we only allow monotone formulas (without negation, but with disjunction), the complexity drops to PSPACE-completeness. We also extend V\"a\"an\"anen's language by allowing classical disjunction besides dependence disjunction and show that the satisfiability problem remains NEXPTIME-complete. If we then disallow both negation and dependence disjunction, satistiability is complete for the second level of the polynomial hierarchy. In this way we completely classify the computational complexity of the satisfiability problem for all restrictions of propositional and dependence operators considered by V\"a\"an\"anen and Sevenster.Comment: 22 pages, full version of CSL 2010 pape

Ludics and its Applications to natural Language Semantics

Proofs, in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We follow the same idea by proposing that sentence meanings are given by the counter-meanings they are opposed to in a dialectical interaction. The conception is at the intersection of a proof-theoretic and a game-theoretic accounts of semantics, but it enlarges them by allowing to deal with possibly infinite processes

Safety, the Preface Paradox and Possible Worlds Semantics

This paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox

Impossible worlds

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources

Game theoretical semantics for some non-classical logics

Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For this purpose, we consider Priest’s Logic of Paradox, Dunn’s First-Degree Entailment, Routleys’ Relevant Logics, McCall’s Connexive Logic and Belnap’s four-valued logic. We also present a game theoretical characterisation of a translation between Logic of Paradox/Kleene’s K3 and S5. We underline how non-classical logics require different verification games and prove the correctness theorems of their respective game theoretical semantics. This allows us to observe that paraconsistent logics break the classical bidirectional connection between winning strategies and truth values

An insight into the effect of rough surfaces and contact orientation on the fretting characteristics of quenched and tempered steel

The effect of a rough, textured surface and contact orientations on the fretting behavior of self-mated martensitic 34CrNiMo6 +QT steel was examined via a large annular flat-on-flat contact. A friction study accompanied by microscopy analyses was performed to provide a clear insight into fretting characteristics. In gross sliding, the rough surface revealed a lower delayed friction peak and the same steady-state friction as the fine-ground smooth one. In partial slip, the stable friction threshold was around 0.5 for both surfaces. The oxidation-abrasion and its combination with adhesion were observed as wear mechanisms in partial slip and gross sliding, respectively.Peer reviewe

Increased Serum PAI-1 Levels in Subjects with Metabolic Syndrome and Long-Term Adverse Mental Symptoms: A Population-Based Study

Depression is an independent risk factor for cardiovascular diseases and is associated with metabolic syndrome (MetS). Levels of plasminogen activator inhibitor-1 (PAI-1), an inhibitor of tissue-type and urokinase-type plasminogen activators, are associated with MetS. To clarify the role of PAI-1 in subjects with long-term adverse mental symptomatology (LMS; including depression) and MetS, we measured circulating PAI-1 levels in controls (n = 111), in subjects with MetS and free of mental symptoms (n = 42), and in subjects with both MetS and long-term mental symptoms (n = 70). PAI-1 increased linearly across the three groups in men. In logistic regression analysis, men with PAI-1 levels above the median had a 3.4-fold increased likelihood of suffering from the comorbidity of long-term adverse mental symptoms and MetS, while no such associations were detected in women. In conclusion, our results suggest that in men high PAI-1 levels are independently associated with long-term mental symptomatology