Graduate studies at Western
Journal of Logic, Language and Information 8 (4):445-468 (1999)
|Abstract||A modal logic for translating a sequence of English sentences to a sequence of logical forms is presented, characterized by Kripke models with points formed from input/output sequences, and valuations determined by entailment relations. Previous approaches based (to one degree or another) on Quantified Dynamic Logic are embeddable within it. Applications to presupposition and ambiguity are described, and decision procedures and axiomatizations supplied.|
|Keywords||discourse modal logic non-determinism translation|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
James W. Garson (2006). Modal Logic for Philosophers. Cambridge University Press.
Holger Sturm & Frank Wolter (2001). First-Order Expressivity for S5-Models: Modal Vs. Two-Sorted Languages. Journal of Philosophical Logic 30 (6):571-591.
Sara Negri (2005). Proof Analysis in Modal Logic. Journal of Philosophical Logic 34 (5/6):507 - 544.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Rajeev Goré (1994). Cut-Free Sequent and Tableau Systems for Propositional Diodorean Modal Logics. Studia Logica 53 (3):433 - 457.
Hirohiko Kushida (2010). The Modal Logic of Gödel Sentences. Journal of Philosophical Logic 39 (5):577 - 590.
Tim Fernando (2001). Ambiguous Discourse in a Compositional Context. An Operational Perspective. Journal of Logic, Language and Information 10 (1):63-86.
Added to index2009-01-28
Total downloads3 ( #213,563 of 739,317 )
Recent downloads (6 months)1 ( #61,243 of 739,317 )
How can I increase my downloads?