Some reflections on formal semanticsDUFFLEY, Patrick J.Langues et linguistique. 2005, Num 31, issn 0226-7144, 19-29 [10 p.]Article

Propositional dynamic logic of nonregular programsHAREL, D; PNUELI, A; STAVI, J et al.Journal of computer and system sciences (Print). 1983, Vol 26, Num 2, pp 222-243, issn 0022-0000Article

Space as timeFARINAS, L.Information processing letters. 1983, Vol 17, Num 3, pp 113-115, issn 0020-0190Article

Foundations of computation theory. Proceedings of the 1983 International DCT-Conference, Borgholm, Sweden, August 21-27, 1983KARPINSKI, M. Ed.Lecture notes in computer science. 1983, Num 158, issn 0302-9743, XI-514 pConference Proceedings

Global Domains versus Hidden IndexicalsGAUKER, Christopher.Journal of semantics (Nijmegen). 2010, Vol 27, Num 2, pp 243-270, issn 0167-5133, 28 p.Article

The propositional dynamic logic of deterministic, well-structured programsHALPERN, J. Y; REIF, J. H.Theoretical computer science. 1983, Vol 27, Num 1-2, pp 127-165, issn 0304-3975Article

Properties of a notation for combining functionsRAOULT, J.-C; RAVI SETHI.Journal of the Association for Computing Machinery. 1983, Vol 30, Num 3, pp 595-611, issn 0004-5411Article

A note on the «carving up content» principle in Frege's theory of senseLINSKY, B.Notre Dame journal of formal logic. 1992, Vol 33, Num 1, pp 126-135, issn 0029-4527Article

Remarks on the Notion of Subject with Reference to Words Like « Also », « Even » or « Only ». Illustrating Certain Manners in which Formal Systems Are Employed as Auxiliary Devices in Linguistic Descriptions (Part 2)KURODA, S. Y.Papers in Japanese Linguistics. 1986, Vol 11, pp 121-156, issn 0197-3150Article

An operational semantics for specifications of abstract data types with error landlingENGELS, G; PLETAT, U; EHRICH, H.-D et al.Acta informatica. 1983, Vol 19, Num 3, pp 235-253, issn 0001-5903Article

Complexly Fractionated Syllogistic QuantifiersPETERSON, P. L.Journal of philosophical logic. 1991, Vol 20, Num 3, pp 287-313, issn 0022-3611Article

On infinite computations in denotational semanticsDE BAKKER, J. W; MEYER, J. J. C; ZUCKER, J. I et al.Theoretical computer science. 1983, Vol 29, Num 1-2, pp 229-230, issn 0304-3975Article

Effective axiomatizations of hoare logicsCLARKE, E. M. JR; GERMAN, S. M; HALPERN, J. Y et al.Journal of the Association for Computing Machinery. 1983, Vol 30, Num 3, pp 612-636, issn 0004-5411Article

A new proof of the fixed-point theorem of provability logicREIDHAAR-OLSON, L.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 37-43, issn 0029-4527, 7 p.Article

Modal definability in enriched languagesGORANKO, V.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 81-105, issn 0029-4527, 25 p.Article

L'opposition: analyse logique d'une notion flottante = Opposition : logical analysis of a floating expressionSCHANG, Fabien.Syntaxe & sémantique. 2012, Num 13, pp 65-85, issn 1623-6742, 21 p.Article

Die Ingredienzen des romanischen ImperfektsBECKER, Martin.Linguistische Berichte. 2010, Num 221, pp 79-108, issn 0024-3930, 30 p.Article

A logical calculus of meaning and synonymyMOSCHOVAKIS, Yiannis N.Linguistics and philosophy. 2006, Vol 29, Num 1, pp 27-89, issn 0165-0157, 63 p.Article

Created objects, coherence and anaphoraMCCREADY, Eric.Journal of semantics (Nijmegen). 2006, Vol 23, Num 3, pp 251-279, issn 0167-5133, 29 p.Article

Sense and the computation of referenceMUSKENS, Reinhard.Linguistics and philosophy. 2005, Vol 28, Num 4, pp 473-504, issn 0165-0157, 32 p.Article

Generics and mental representations = Génériques et représentations mentalesCOHEN, Ariel.Linguistics and philosophy. 2004, Vol 27, Num 5, pp 529-556, issn 0165-0157, 28 p.Article

Lower and upper power domain constructions commute on all cposHECKMANN, P.Information processing letters. 1991, Vol 40, Num 1, pp 7-11, issn 0020-0190Article

Über den modularen Aufbau grammatischer Repräsentationen und semantischer Interpretationen (am Beispiel von Handlungssätzen) = La structure modulaire des représentations grammaticales et des interprétations sémantiques (l'exemples de phrases d'action)STEUBE, A.Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung. 1988, Vol 41, Num 1, pp 3-22, issn 0044-331XArticle

A simple proof for the completeness of Floyd's methodSAIN, I.Theoretical computer science. 1985, Vol 35, Num 2-3, pp 345-348, issn 0304-3975Article

Free semiring-representations and nondeterminismMAIN, M. G; BENSON, D. B.Journal of computer and system sciences (Print). 1985, Vol 30, Num 3, pp 318-328, issn 0022-0000Article