11,666 research outputs found
Modal Logics with Hard Diamond-free Fragments
We investigate the complexity of modal satisfiability for certain
combinations of modal logics. In particular we examine four examples of
multimodal logics with dependencies and demonstrate that even if we restrict
our inputs to diamond-free formulas (in negation normal form), these logics
still have a high complexity. This result illustrates that having D as one or
more of the combined logics, as well as the interdependencies among logics can
be important sources of complexity even in the absence of diamonds and even
when at the same time in our formulas we allow only one propositional variable.
We then further investigate and characterize the complexity of the
diamond-free, 1-variable fragments of multimodal logics in a general setting.Comment: New version: improvements and corrections according to reviewers'
comments. Accepted at LFCS 201
Tableaux over Lie algebras, integrable systems, and classical surface theory
Starting from suitable tableaux over finite dimensional Lie algebras, we
provide a scheme for producing involutive linear Pfaffian systems related to
various classes of submanifolds in homogeneous spaces which constitute
integrable systems. These include isothermic surfaces, Willmore surfaces, and
other classical soliton surfaces. Completely integrable equations such as the
G/G_0-system of Terng and the curved flat system of Ferus-Pedit may be obtained
as special cases of this construction. Some classes of surfaces in projective
differential geometry whose Gauss-Codazzi equations are associated with
tableaux over sl(4,R) are discussed.Comment: 16 pages, v3: final version; changes in the expositio
Differential systems associated with tableaux over Lie algebras
We give an account of the construction of exterior differential systems based
on the notion of tableaux over Lie algebras as developed in [Comm. Anal. Geom
14 (2006), 475-496; math.DG/0412169]. The definition of a tableau over a Lie
algebra is revisited and extended in the light of the formalism of the Spencer
cohomology; the question of involutiveness for the associated systems and their
prolongations is addressed; examples are discussed.Comment: 16 pages; to appear in: "Symmetries and Overdetermined Systems of
Partial Differential Equations" (M. Eastwood and W. Miller, Jr., eds.), IMA
Volumes in Mathematics and Its Applications, Springer-Verlag, New Yor
PSPACE Bounds for Rank-1 Modal Logics
For lack of general algorithmic methods that apply to wide classes of logics,
establishing a complexity bound for a given modal logic is often a laborious
task. The present work is a step towards a general theory of the complexity of
modal logics. Our main result is that all rank-1 logics enjoy a shallow model
property and thus are, under mild assumptions on the format of their
axiomatisation, in PSPACE. This leads to a unified derivation of tight
PSPACE-bounds for a number of logics including K, KD, coalition logic, graded
modal logic, majority logic, and probabilistic modal logic. Our generic
algorithm moreover finds tableau proofs that witness pleasant proof-theoretic
properties including a weak subformula property. This generality is made
possible by a coalgebraic semantics, which conveniently abstracts from the
details of a given model class and thus allows covering a broad range of logics
in a uniform way
- …