Results 1  10
of
3,893
Dynamic Predicate Logic
, 1990
"... This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of firstorder predicate logic. The resulting system, which will be referred to as `dynamic predicate logic', is intended as a first step towards a compositional, nonrepresentational ..."
Abstract

Cited by 462 (2 self)
 Add to MetaCart
This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of firstorder predicate logic. The resulting system, which will be referred to as `dynamic predicate logic', is intended as a first step towards a compositional, non
The Semantics of Predicate Logic as a Programming Language
 JOURNAL OF THE ACM
, 1976
"... Sentences in firstorder predicate logic can be usefully interpreted as programs In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated It is concluded that operational seman ..."
Abstract

Cited by 808 (18 self)
 Add to MetaCart
Sentences in firstorder predicate logic can be usefully interpreted as programs In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated It is concluded that operational
Predicate logic
"... Question 1. Describe this discipline/subdiscipline, and some of its more recent developments. Predicate logic is a subdiscipline of logic that had its roots in the last quarter of the nineteenth century, though it had to wait until the second decade of the twentieth century for a solid foundation. ..."
Abstract
 Add to MetaCart
Question 1. Describe this discipline/subdiscipline, and some of its more recent developments. Predicate logic is a subdiscipline of logic that had its roots in the last quarter of the nineteenth century, though it had to wait until the second decade of the twentieth century for a solid foundation
Predicate Logic Unplugged
 In Proceedings of the 10th Amsterdam Colloquium
, 1995
"... this paper we describe the syntax and semantics of a description language for underspecified semantic representations. This concept is discussed in general and in particular applied to Predicate Logic and Discourse Representation Theory. The reason for exploring underspecified representations as sui ..."
Abstract

Cited by 156 (7 self)
 Add to MetaCart
this paper we describe the syntax and semantics of a description language for underspecified semantic representations. This concept is discussed in general and in particular applied to Predicate Logic and Discourse Representation Theory. The reason for exploring underspecified representations
Monadic Fuzzy Predicate Logics
"... Two variants of monadic fuzzy predicate logic are analyzed and compared with the full fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tautologies, satisfiable formulas and of analogous notion restricted to finite models. 1 ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Two variants of monadic fuzzy predicate logic are analyzed and compared with the full fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tautologies, satisfiable formulas and of analogous notion restricted to finite models. 1
Predicate Logic with Anaphora
 In: Proceedings of SALT IV (Lynn Santelmann and Mandy
, 1994
"... In this paper I make a case for a separate treatment of (singular) anaphoric pronouns within a predicate logic with anaphora (PLA). Discourse representation theoretic results (from Kamp 1981) can be formulated in a compositional way, without fiddling with orthodox notions of scope and binding. In ..."
Abstract
 Add to MetaCart
In this paper I make a case for a separate treatment of (singular) anaphoric pronouns within a predicate logic with anaphora (PLA). Discourse representation theoretic results (from Kamp 1981) can be formulated in a compositional way, without fiddling with orthodox notions of scope and binding
Predicate Logic with Anaphora
 In: Proceedings of SALT IV (Lynn Santelmann and Mandy
, 1994
"... In this paper I make a case for a separate treatment of (singular) anaphoric pronouns within a predicate logic with anaphora (PLA). Discourse representation theoretic results (from Kamp 1981) can be formulated in a compositional way, without fiddling with orthodox notions of scope and binding. In co ..."
Abstract

Cited by 31 (0 self)
 Add to MetaCart
In this paper I make a case for a separate treatment of (singular) anaphoric pronouns within a predicate logic with anaphora (PLA). Discourse representation theoretic results (from Kamp 1981) can be formulated in a compositional way, without fiddling with orthodox notions of scope and binding
Modal Foundations for Predicate Logic
, 1999
"... The complexity of any logical modeling reflects both the intrinsic structure of a topic described and the weight of the formal tools. Some of this weight seems inherent in even the most basic logical systems. Notably, standard predicate logic is undecidable. In this paper, we investigate `lighter&ap ..."
Abstract

Cited by 19 (6 self)
 Add to MetaCart
The complexity of any logical modeling reflects both the intrinsic structure of a topic described and the weight of the formal tools. Some of this weight seems inherent in even the most basic logical systems. Notably, standard predicate logic is undecidable. In this paper, we investigate `lighter
Predicate Logic for Functors and Monads
, 2010
"... Abstract. This paper starts from the elementary observation that what is usually called a predicate lifting in coalgebraic modal logic is in fact an endomap of indexed categories. This leads to a systematic review of basic results in predicate logic for functors and monads, involving induction and c ..."
Abstract
 Add to MetaCart
Abstract. This paper starts from the elementary observation that what is usually called a predicate lifting in coalgebraic modal logic is in fact an endomap of indexed categories. This leads to a systematic review of basic results in predicate logic for functors and monads, involving induction
Contexts in Dynamic Predicate Logic
 JOURNAL OF LANGUAGE, LOGIC AND INFORMATION
, 1998
"... In this paper we introduce a notion of context for Groenendijk & Stokhof's Dynamic Predicate Logic DPL. We use these contexts to give acharacterization of the relations on assignments that can be generated by composition from tests/conditions and random resettings in the case that we arewor ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
In this paper we introduce a notion of context for Groenendijk & Stokhof's Dynamic Predicate Logic DPL. We use these contexts to give acharacterization of the relations on assignments that can be generated by composition from tests/conditions and random resettings in the case that we
Results 1  10
of
3,893