Switch to: Citations

Add references

You must login to add references.
  1. Program constructions that are safe for bisimulation.Johan Van Benthem - 1998 - Studia Logica 60 (2):311-330.
    It has been known since the seventies that the formulas of modal logic are invariant for bisimulations between possible worlds models — while conversely, all bisimulation-invariant first-order formulas are modally definable. In this paper, we extend this semantic style of analysis from modal formulas to dynamic program operations. We show that the usual regular operations are safe for bisimulation, in the sense that the transition relations of their values respect any given bisimulation for their arguments. Our main result is a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
    We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its standard interpretation, while dynamic negation is an operator familiar to students of Dynamic Predicate Logic (DPL) (Groenendijk and Stokhof, 1991): given a relation R its dynamic negation R is a test that contains precisely those pairs (s,s) for which s is not in the domain of R. These two operators comprise precisely the propositional part of DPL.This paper contains a finite equational (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
    This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle of compositionality, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   328 citations  
  • Dynamic squares.Patrick Blackburn & Yde Venema - 1995 - Journal of Philosophical Logic 24 (5):469 - 523.
  • A Theory of Truth and Semantic Representation.Hans Kamp - 1981 - In P. Portner & B. H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.
     
    Export citation  
     
    Bookmark   372 citations