Result 1 to 20 of 58 total
Modal logic foundations of markup structures in annotation systems. (English)
Mehler, Alexander (ed.) et al., Modeling, learning, and processing of text-technological data structures. Berlin: Springer (ISBN 978-3-642-22612-0/hbk; 978-3-642-22613-7/ebook). Studies in Computational Intelligence 370, 111-127 (2011).
1
The mathematics of language. 12th biennial conference, MOL 12, Nara, Japan, September 6‒8, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6878. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-23210-7/pbk). vii, 227~p. EUR~49.22 (2011).
2
Syntax, semantics and pragmatics in communication (English)
I-SEMANTICS, 195-202 (2011).
3
Judgment and consequence relations. (English)
J. Appl. Non-Class. Log. 20, No. 4, 423-435 (2010).
4
Is adjunction compositional? (English)
Res. Lang. Comput. 6, No. 1, 53-77 (2008).
5
Compositionality: The very idea. (English)
Res. Lang. Comput. 5, No. 3, 287-308 (2007).
6
Semisimple varieties of modal algebras. (English)
Stud. Log. 83, No. 1-3, 351-363 (2006).
7
Partial algebras, meaning categories and algebraization. (English)
Theor. Comput. Sci. 354, No. 1, 131-141 (2006).
8
The semantics of modal predicate logic. II: Modal individuals revisited. (English)
Kahle, Reinhard (ed.), Intensionality. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-276-1/hbk; 1-56881-268-X/pbk). Lecture Notes in Logic 22, 60-96 (2005).
9
Notes on substitution in first-order logic. (English)
Hendricks, Vincent (ed.) et al., First-order logic revisited. Proceedings of the conference FOL75 ‒ 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18‒21, 2003. Berlin: Logos Verlag (ISBN 3-8325-0475-3/pbk). Logische Philosophie 12, 155-172 (2004).
10
The mathematics of language. (English)
Studies in Generative Grammar 63. Berlin: Mouton de Gruyter (ISBN 3-11-017620-3/hbk). xvi, 589~p. EUR~98.00; SFR~157.00 (2003).
11
Notes on the space requirements for checking satisfiability in modal logics. (English)
Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 243-264 (2003).
12
The combinatorics of cases. (English)
Res. Lang. Comput. 1, No. 1-2, 59-97 (2003).
13
Constraints on derivations. (English)
Grammars 6, No. 2, 89-113 (2003).
14
Features in phonological theory. (English)
Löwe, Benedikt (ed.) et al., Foundations of the formal sciences. II: Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10‒13, 2000. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1154-7/hbk). Trends Log. Stud. Log. Libr. 17, 123-149 (2003).
15
Constraints on derivations (English)
Grammars 6, No. 2, 89-113 (2003).
16
The semantics of modal predicate logic. I. Counterpart-frames. (English)
Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4-7, 2000. Singapore: World Scientific. 299-320 (2002).
17
Referent systems and relational grammar. (English)
J. Logic Lang. Inf. 11, No. 2, 251-286 (2002).
18
Invariant logics. (English)
Math. Log. Q. 48, No.1, 29-50 (2002).
19
Notes on the space requirements for checking satisfiability in modal logics (English)
Advances in Modal Logic, 243-264 (2002).
20
Result 1 to 20 of 58 total