Results 1  10
of
50
A Modal Perspective on the Computational Complexity of Attribute Value Grammar
 Journal of Logic, Language and Information
, 1992
"... Many of the formalisms used in Attribute Value grammar are notational variants of languages of propositional modal logic, and testing whether two Attribute Value descriptions unify amounts to testing for modal satisfiablity. In this paper we put this observation to work. We study the complexity of t ..."
Abstract

Cited by 44 (7 self)
 Add to MetaCart
Many of the formalisms used in Attribute Value grammar are notational variants of languages of propositional modal logic, and testing whether two Attribute Value descriptions unify amounts to testing for modal satisfiablity. In this paper we put this observation to work. We study the complexity of the satisfiability problem for nine modal languages which mirror different aspects of AVS description formalisms, including the ability to express reentrancy, the ability to express generalisations, and the ability to express recursive constraints. Two main techniques are used: either Kripke models with desirable properties are constructed, or modalities are used to simulate fragments of Propositional Dynamic Logic. Further possibilities for the application of modal logic in computational linguistics are noted. Attribute Value Structures (AVSs) are probably the most widely used means of representing linguistic structure in current computational linguistics, and the process of unifying...
Feature Logics
 HANDBOOK OF LOGIC AND LANGUAGE, EDITED BY VAN BENTHEM & TER MEULEN
, 1994
"... Feature logics form a class of specialized logics which have proven especially useful in classifying and constraining the linguistic objects known as feature structures. Linguistically, these structures have their origin in the work of the Prague school of linguistics, followed by the work of Chom ..."
Abstract

Cited by 33 (0 self)
 Add to MetaCart
Feature logics form a class of specialized logics which have proven especially useful in classifying and constraining the linguistic objects known as feature structures. Linguistically, these structures have their origin in the work of the Prague school of linguistics, followed by the work of Chomsky and Halle in The Sound Pattern of English [16]. Feature structures have been reinvented several times by computer scientists: in the theory of data structures, where they are known as record structures, in artificial intelligence, where they are known as frame or slotvalue structures, in the theory of data bases, where they are called "complex objects", and in computati
Logical aspects of set constraints
 in Proc. 1993 Conf. Computer Science Logic
, 1993
"... Abstract. Set constraints are inclusion relations between sets of ground terms over a ranked alphabet. They have been used extensively in program analysis and type inference. Here we present an equational axiomatization of the algebra of set constraints. Models of these axioms are called termset alg ..."
Abstract

Cited by 27 (5 self)
 Add to MetaCart
Abstract. Set constraints are inclusion relations between sets of ground terms over a ranked alphabet. They have been used extensively in program analysis and type inference. Here we present an equational axiomatization of the algebra of set constraints. Models of these axioms are called termset algebras. They are related to the Boolean algebras with operators of Jonsson and Tarski. We also de ne a family of combinatorial models called topological term automata, which are essentially the term automata studied by Kozen,Palsberg, and Schwartzbach endowed with a topology such that all relevant operations are continuous. These models are similar to Kripke frames for modal or dynamic logic. We establish a Stone duality between termset algebras and topological term automata, and use this to derive a completeness theorem for a related multidimensional modal logic. Finally, weproveasmall model property by ltration, and argue that this result contains the essence of several algorithms appearing in the literature on set constraints. 1
A Calculus of Transition Systems (towards Universal Coalgebra)
 In Alban Ponse, Maarten de Rijke, and Yde Venema, editors, Modal Logic and Process Algebra, CSLI Lecture Notes No
, 1995
"... By representing transition systems as coalgebras, the three main ingredients of their theory: coalgebra, homomorphism, and bisimulation, can be seen to be in a precise correspondence to the basic notions of universal algebra: \Sigmaalgebra, homomorphism, and substitutive relation (or congruence). ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
By representing transition systems as coalgebras, the three main ingredients of their theory: coalgebra, homomorphism, and bisimulation, can be seen to be in a precise correspondence to the basic notions of universal algebra: \Sigmaalgebra, homomorphism, and substitutive relation (or congruence). In this paper, some standard results from universal algebra (such as the three isomorphism theorems and facts on the lattices of subalgebras and congruences) are reformulated (using the afore mentioned correspondence) and proved for transition systems. AMS Subject Classification (1991): 68Q10, 68Q55 CR Subject Classification (1991): D.3.1, F.1.2, F.3.2 Keywords & Phrases: Transition system, bisimulation, universal coalgebra, universal algebra, congruence, homomorphism. Note: This paper will appear in `Modal Logic and Process Algebra', edited by Ponse, De Rijke and Venema [PRV95]. 2 Table of Contents 1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : ...
Tarskian Set Constraints
 IN PROCEEDINGS, 11 TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
, 1996
"... We investigate set constraints over set expressions with Tarskian functional and relational operations. Unlike the Herbrand constructor symbols used in recent set constraint formalisms, the meaning of a Tarskian function symbol is interpreted in an arbitrary first order structure. We show that sat ..."
Abstract

Cited by 25 (0 self)
 Add to MetaCart
We investigate set constraints over set expressions with Tarskian functional and relational operations. Unlike the Herbrand constructor symbols used in recent set constraint formalisms, the meaning of a Tarskian function symbol is interpreted in an arbitrary first order structure. We show that satisfiability of Tarskian set constraints is decidable in nondeterministic doubly exponential time. We also consider various extensions of the basic language and show that: satisfiability of Tarskian set constraints with recursion (µsets) is undecidable but satisfiability for Tarskian set constraints with µsets but without function symbols is linear time equivalent to satisfiability in the propositional µcalculus and is therefore decidable in deterministic exponential time.
Complete Representations in Algebraic Logic
 JOURNAL OF SYMBOLIC LOGIC
"... A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary. ..."
Abstract

Cited by 19 (8 self)
 Add to MetaCart
A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary.
Duality and equational theory of regular languages
 246–257, Lect. Notes Comp. Sci
, 2008
"... This paper presents a new result in the equational theory of regular languages, which emerged from lively discussions between the authors about Stone and Priestley duality. Let us call lattice of languages a class of regular languages closed under finite intersection and finite union. The main resul ..."
Abstract

Cited by 16 (11 self)
 Add to MetaCart
This paper presents a new result in the equational theory of regular languages, which emerged from lively discussions between the authors about Stone and Priestley duality. Let us call lattice of languages a class of regular languages closed under finite intersection and finite union. The main results of this paper (Theorems 5.2 and 6.1) can be summarized in a nutshell as follows: A set of regular languages is a lattice of languages if and only if it can be defined by a set of profinite equations. The product on profinite words is the dual of the residuation operations on regular languages. In their more general form, our equations are of the form u → v, where u and v are profinite words. The first result not only subsumes EilenbergReiterman’s theory of varieties and their subsequent extensions, but it shows for instance that any class of regular languages defined by a fragment of logic closed under conjunctions and disjunctions (first order, monadic second order, temporal, etc.) admits an equational description. In particular, the celebrated McNaughton