- Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.details
|
|
Generalized Phrase Structure Grammar.Gerald Gazdar, Ewan Klein, Geoffrey Pullum & Ivan Sag - 1989 - Philosophical Review 98 (4):556-566.details
|
|
Generalized Phrase Structure Grammar.G. Gazdar, E. Klein, G. Pullum & I. Sag - 1987 - Linguistics and Philosophy 10 (3):389-426.details
|
|
The logic of unification in grammar.Robert T. Kasper & William C. Rounds - 1990 - Linguistics and Philosophy 13 (1):35 - 58.details
|
|
Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.details
|
|
The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.details
|
|
Temporal Ontology and Temporal Reference.Mark Steedman - unknowndetails
|
|
Knowledge in Flux. Modeling the Dynamics of Epistemic States.Peter Gärdenfors - 1988 - Studia Logica 49 (3):421-424.details
|
|
Rich ontologies for tense and aspect.Patrick Blackburn, Claire Gardent & Maarten De Rijke - 1996 - In Jerry Seligman & Dag Westerstahl (eds.), Logic, Language and Computation. Center for the Study of Language and Inf.details
|
|
The Price of Universality.Edith Hemaspaandra - 1996 - Notre Dame Journal of Formal Logic 37 (2):174-203.details
|
|
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.details
|
|
Properties of independently axiomatizable bimodal logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.details
|
|
Grammar formalisms viewed as evolving algebras.David E. Johnson & Lawrence S. Moss - 1994 - Linguistics and Philosophy 17 (6):537 - 560.details
|
|
(1 other version)Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.details
|
|
(1 other version)A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109 - 142.details
|
|
(1 other version) Zooming in, zooming out.Patrick Blackburn & Maarten De Rijke - 1997 - Journal of Logic, Language and Information 6 (1):5-31.details
|
|
Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.details
|
|
Knowledge in Flux.Henry E. Kyburg & Peter Gardenfors - 1993 - Noûs 27 (4):519-521.details
|
|
Modal logic and model-theoretic syntax.Patrick Blackburn & Wilfried Meyer-Viol - 1997 - In Maarten de Rijke (ed.), Advances in Intensional Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 29--60.details
|
|