Pages that link to "Item:Q195246"
From MaRDI portal
The following pages link to Journal of Logic, Language and Information (Q195246):
Displaying 50 items.
- An expressivist bilateral meaning-is-use analysis of classical propositional logic (Q302171) (← links)
- Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
- On the effect of the IO-substitution on the Parikh image of semilinear full AFLs (Q302175) (← links)
- Proof complexity and textual cohesion (Q302177) (← links)
- Comparison across domains in delineation semantics (Q302209) (← links)
- Preference change (Q302212) (← links)
- Dependence logic with a majority quantifier (Q302214) (← links)
- A logic for trial and error classifiers (Q302216) (← links)
- Weak negation in inquisitive semantics (Q302218) (← links)
- Announcements to attentive agents (Q302225) (← links)
- Blockage revision (Q302226) (← links)
- Erotetic search scenarios and three-valued logic (Q302229) (← links)
- Transition semantics for branching time (Q302231) (← links)
- Locative and directional prepositions in conceptual spaces: the role of polar convexity (Q302234) (← links)
- Not only Barbara (Q302240) (← links)
- A sequent calculus for urn logic (Q302242) (← links)
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- Action models for conditionals (Q302248) (← links)
- Aural pattern recognition experiments and the subregular hierarchy (Q438585) (← links)
- A mathematical model of prediction-driven instability: how social structure can drive language change (Q438586) (← links)
- The equivalence of tree adjoining grammars and monadic linear context-free tree grammars (Q438589) (← links)
- Lexicalized non-local MCTAG with dominance links is NP-complete (Q438591) (← links)
- Probabilistic grammars and languages (Q438593) (← links)
- Syntactic structures and recursive devices: a legacy of imprecision (Q438595) (← links)
- On the mathematical foundations of \textit{Syntactic structures} (Q438597) (← links)
- Syllogistic logic with comparative adjectives (Q438598) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Synchronizing diachronic uncertainty (Q548700) (← links)
- Typability in partial applicative structures (Q548702) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- A structuralist theory of belief revision (Q548705) (← links)
- Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality (Q548707) (← links)
- Selected papers of the 8th mathematics of language conference (MoL8), held in conjunction with the 2nd North American Summer School in Logic, Language, and Information (NASSLLI), Bloomington, IN, USA, June 19--22, 2003 (Q556609) (← links)
- Information tracking in games on graphs (Q616037) (← links)
- Merging DEL and ETL (Q616038) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Automata for epistemic temporal logic with synchronous communication (Q616040) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Preface to the special issue: Temporal logics of agency (Q616042) (← links)
- Special issue: Mathematics of language. Selected papers based on the presentations at the 10th meeting of the Association for the Mathematics of Language, MoL 10, Los Angeles, CA, USA, July 28--30, 2007 (Q635861) (← links)
- On Beall's new interpretation of \(WK_{3}\) (Q667921) (← links)
- The expressivity of autosegmental grammars (Q667923) (← links)
- Conditionals, causality and conditional probability (Q667924) (← links)
- A class of conceptual spaces consisting of boundaries of infinite \(p\)-ary trees (Q667926) (← links)
- Zooming in, zooming out (Q676176) (← links)
- Seeing is believing. And so are hearing and jumping (Q676178) (← links)
- Information gaps as communication needs: A new semantic foundation for some non-classical logics (Q676179) (← links)
- Set partitions and the meaning of \textit{the same} (Q683679) (← links)
- A proof-theoretic semantics for adjectival modification (Q683680) (← links)
