Works matching DE "FORMAL language semantics"

Results: 155

Semantic Universals in Instructional Materials.

Published in:

TESOL Quarterly, 1974, v. 8, n. 1, p. 53, doi. 10.2307/3585660

By:

Aid, Frances M.

Publication type:

Article

Induction as a semantic Problem.

Published in:: 1951
Publication type:: Abstract

Compositional and holistic quantum computational semantics.

Published in:

Natural Computing, 2007, v. 6, n. 2, p. 113, doi. 10.1007/s11047-006-9020-x

By:

Maria Dalla Chiara;
Roberto Giuntini;
Roberto Leporini

Publication type:

Article

Effects of verb complexity on speech errors.

Published in:

Memory & Cognition, 2007, v. 35, n. 7, p. 1527, doi. 10.3758/BF03193488

By:

Ashenfelter, Kathleen T.;
Ebereard, Kathleen M.

Publication type:

Article

Representational Formats in Cognitive Semantics.

Published in:

Folia Linguistica, 1995, v. 29, n. 1/2, p. 21, doi. 10.1515/flin.1995.29.1-2.21

By:

Geeraerts, Dirk

Publication type:

Article

On Permutation in Simplified Semantics.

Published in:

Journal of Philosophical Logic, 2009, v. 38, n. 3, p. 333, doi. 10.1007/s10992-009-9104-z

By:

Restall, Greg;
Roy, Tony

Publication type:

Article

Too Much Reference: Semantics for Multiply Signifying Terms.

Published in:

Journal of Philosophical Logic, 2008, v. 37, n. 3, p. 239, doi. 10.1007/s10992-007-9067-x

By:

Frost-Arnold, Greg

Publication type:

Article

Why Propositions Cannot be Sets of Truth-supporting Circumstances.

Published in:

Journal of Philosophical Logic, 2008, v. 37, n. 3, p. 267, doi. 10.1007/s10992-007-9069-8

By:

Soames, Scott

Publication type:

Article

TRUTH AS AN EPISTEMIC IDEAL.

Published in:

Journal of Philosophical Logic, 2008, v. 37, n. 3, p. 203, doi. 10.1007/s10992-007-9068-9

By:

Nolt, John

Publication type:

Article

A Two Dimensional Tense-modal Sortal Logic.

Published in:

Journal of Philosophical Logic, 2007, v. 36, n. 5, p. 571, doi. 10.1007/s10992-007-9050-6

By:

Freund, Max

Publication type:

Article

Connectives Stranger than Tonk.

Published in:

Journal of Philosophical Logic, 2006, v. 35, n. 6, p. 653, doi. 10.1007/s10992-006-9025-z

By:

Wansing, Heinrich

Publication type:

Article

Neighborhoods for Entailment.

Published in:

Journal of Philosophical Logic, 2003, v. 32, n. 5, p. 483, doi. 10.1023/A:1025638012192

By:

Goble, Lou

Publication type:

Article

STANDARD QUANTIFICATION THEORY IN THE ANALYSIS OF ENGLISH.

Published in:: Journal of Philosophical Logic, 2002, v. 31, n. 6, p. 499, doi. 10.1023/A:1021247015441
Publication type:: Article

INDEXED ACTUALITY.

Published in:

Journal of Philosophical Logic, 2001, v. 30, n. 4, p. 355, doi. 10.1023/A:1017915417449

By:

Stephanou, Yannis

Publication type:

Article

INPUT/OUTPUT LOGICS.

Published in:

Journal of Philosophical Logic, 2000, v. 29, n. 4, p. 383, doi. 10.1023/A:1004748624537

By:

Makinson, David;
van der Torre, Leendert

Publication type:

Article

Supervaluations and the propositional attitude constraint.

Published in:

Journal of Philosophical Logic, 1997, v. 26, n. 1, p. 103, doi. 10.1023/A:1017935214210

By:

Burgess, J.A.

Publication type:

Article

Simplified semantics for relevant logics (and some of their rivals).

Published in:

Journal of Philosophical Logic, 1993, v. 22, n. 5, p. 481, doi. 10.1007/BF01349561

By:

Restall, Greg

Publication type:

Article

Construction of a medical corpus based on information extraction results.

Published in:

Control & Cybernetics, 2011, v. 40, n. 2, p. 337

By:

Marciniak, Malgorzata;
Mykowiecka, Agnieszka

Publication type:

Article

On Speaker Identifiability.

Published in:

Journal of Slavic Linguistics, 2011, v. 19, n. 1, p. 47, doi. 10.1353/jsl.2011.0008

By:

Kagan, Olga

Publication type:

Article

A Formal Semantics for Plural Quantification, Intersentential Binding and Anaphoric Pronouns as Rigid Designators.

Published in:

Nous (0029-4624), 2002, v. 36, n. 1, p. 50, doi. 10.1111/1468-0068.00360

By:

Berger, Alan

Publication type:

Article

Why Rationalist Compositionality Won't Go Away (Either).

Published in:

Theoria: An International Journal for Theory, History & Foundations of Science, 2009, v. 24, n. 1, p. 29, doi. 10.1387/theoria.382

By:

Verdejo, Víctor M.

Publication type:

Article

Semantics and the dual-aspect use of definite descriptions.

Published in:

1998

By:

O'Rourke, Michael

Publication type:

Editorial

The Abductive Loop: Tracking Irrational Sets.

Published in:

Foundations of Science, 2008, v. 13, n. 1, p. 5, doi. 10.1007/s10699-007-9115-6

By:

Addis, Tom;
Addis, Jan Townsend;
Billinge, Dave;
Gooding, David;
Visscher, Bart-Floris

Publication type:

Article

Mapping deontic operators to abductive expectations.

Published in:

Computational & Mathematical Organization Theory, 2006, v. 12, n. 2/3, p. 205, doi. 10.1007/s10588-006-9544-8

By:

Alberti, Marco;
Gavanelli, Marco;
Lamma, Evelina;
Mello, Paola;
Torroni, Paolo;
Sartor, Giovanni

Publication type:

Article

Information System Semantics (A Logic-Based Approach).

Published in:

Journal of Management Information Systems, 1984, v. 1, n. 2, p. 18, doi. 10.1080/07421222.1984.11517702

By:

Lee, Ronald M.

Publication type:

Article

Beckett and Language Pathology.

Published in:

2008

By:

Keatinge, Benjamin

Publication type:

Literary Criticism

Semi-insubordinate dat-constructions in Dutch Formal, semantic and functional properties.

Published in:

Dutch Linguistics / Nederlandse Taalkunde, 2017, v. 22, n. 3, p. 333, doi. 10.5117/NEDTAA2017.3.BEIJ

By:

Beijering, Karin

Publication type:

Article

Ilyenkov and language.

Published in:

Studies in East European Thought, 2018, v. 70, n. 1, p. 1, doi. 10.1007/s11212-018-9297-1

By:

Hanzel, Igor

Publication type:

Article

Logics that define their own semantics.

Published in:

Archive for Mathematical Logic, 1999, v. 38, n. 8, p. 491, doi. 10.1007/s001530050135

By:

Imhof, H.

Publication type:

Article

Is cultural logic an appropriate concept? A semiotic perspective on the study of culture and logic.

Published in:

Sign Systems Studies, 2002, v. 30, n. 2, p. 455, doi. 10.12697/sss.2002.30.2.06

By:

Rahimi, Sadeq

Publication type:

Article

Alternating-time temporal dynamic epistemic logic1.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 6, p. 1145, doi. 10.1093/logcom/exs061

By:

de Lima, Tiago

Publication type:

Article

A formal semantics for agent (re)organization.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 6, p. 1341, doi. 10.1093/logcom/ext058

By:

Dignum, Frank;
Dignum, Virginia

Publication type:

Article

Non-monotonic reasoning with normative conflicts in multi-agent deontic logic.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 6, p. 1179, doi. 10.1093/logcom/exs059

By:

Beirlaen, Mathieu;
Straßer, Christian

Publication type:

Article

A logical basis for constructive systems.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 3, p. 605, doi. 10.1093/logcom/exr009

By:

Japaridze, Giorgi

Publication type:

Article

Rank-1 Modal Logics are Coalgebraic.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 5, p. 1113, doi. 10.1093/logcom/exn096

By:

SCHRÖDER, LUTZ

Publication type:

Article

A Structural Proof of the Soundness of Rely/guarantee Rules.

Published in:

Journal of Logic & Computation, 2007, v. 17, n. 4, p. 807, doi. 10.1093/logcom/exm030

By:

Coleman, Joey W.;
Jones, Cliff B.

Publication type:

Article

Internalization: The Case of Hybrid Logics.

Published in:

Journal of Logic & Computation, 2001, v. 11, n. 5, p. 671, doi. 10.1093/logcom/11.5.671

By:

Seligman, Jeremy

Publication type:

Article

The product of converse PDL and polymodal K.

Published in:

Journal of Logic & Computation, 2000, v. 10, n. 2, doi. 10.1093/logcom/10.2.223

By:

Wolter, F;
Wolter, Frank

Publication type:

Article

Preferred history semantics for iterated updates.

Published in:

Journal of Logic & Computation, 1999, v. 9, n. 6, doi. 10.1093/logcom/9.6.817

By:

Berger, S;
Berger, Shai;
Lehmann, D;
Lehmann, Daniel;
Schlechta, K;
Schlechta, Karl

Publication type:

Article

Dynamic slicing: a generic analysis based on a natural semantics format.

Published in:

Journal of Logic & Computation, 1999, v. 9, n. 6, doi. 10.1093/logcom/9.6.835

By:

Gouranton, Valerie;
Le Métayer, Daniel

Publication type:

Article

Combinations and completeness transfer for quantified modal logics.

Published in:

Logic Journal of the IGPL, 2011, v. 19, n. 4, p. 598, doi. 10.1093/jigpal/jzp085

By:

Schurz, Gerhard

Publication type:

Article

Combining totalitarian and Ceteris Paribus semantics in database preference queries.

Published in:

Logic Journal of the IGPL, 2010, v. 18, n. 3, p. 464, doi. 10.1093/jigpal/jzp056

By:

NEVES, RUI DA SILVA;
KACI, SOUHILA

Publication type:

Article

Meaning, Function, Purpose, Usefulness, Consequences – Interconnected Concepts.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 5, p. 693, doi. 10.1093/jigpal/9.5.693

By:

de Queiroz, Ruy J. G. B.

Publication type:

Article

Model checking lattices: using and reasoning about information orders for abstraction.

Published in:

Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 375, doi. 10.1093/jigpal/7.3.375

By:

Hazelhurst, S;
Seger, C-JH

Publication type:

Article

Convention Flotsam from The Eyeballs of a Not Quite Deceased Executive Secretary.

Published in:: Western Speech, 1952, v. 16, n. 1, p. 10
Publication type:: Article

Constructive Logic, Truth and Warranted Assertability.

Published in:

Philosophical Quarterly, 2001, v. 51, n. 205, p. 474, doi. 10.1111/1467-9213.00241

By:

Restall, Greg

Publication type:

Article

NPI-licensing and dependent tense in Serbian.

Published in:

Linguistics in the Netherlands, 2008, v. 25, n. 1, p. 109, doi. 10.1075/avt.25.13mil

By:

Milikevik, Nata¡a

Publication type:

Article

TO BE OR NOT TO BE: E-Prime As a Tool for Critical Thinking.

Published in:

ETC: A Review of General Semantics, 1989, v. 46, n. 3, p. 202

By:

Bourland Jr., D. David

Publication type:

Article

On regular tree languages and deterministic pushdown automata.

Published in:

Acta Informatica, 2009, v. 46, n. 7, p. 533, doi. 10.1007/s00236-009-0104-9

By:

Janoušek, Jan;
Melichar, Bořivoj

Publication type:

Article

Negatives, numbers, and necessity some worries about Armstrong's version of truthmaking.

Published in:

Australasian Journal of Philosophy, 2005, v. 83, n. 2, p. 253, doi. 10.1080/00048400500111162

By:

Simons, Peter

Publication type:

Article