scientific article; zbMATH DE number 6900696
From MaRDI portal
Publication:4570895
Cited in
(36)- Partial semantics for quantified modal logic
- Linguistic\(\leftrightarrow \)rational agents' semantics
- The genesis of hi-worlds: towards a principle-based possible world semantics
- Free choice and contextually permitted actions
- On the 3D visualisation of logical relations
- The classical Aristotelian hexagon versus the modern duality hexagon
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
- Compositional natural language semantics using independence friendly logic or dependence logic
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- A pragmatic dissolution of Curry's paradox
- Dynamic term-modal logics for first-order epistemic planning
- Structures and circumstances: two ways to fine-grain propositions
- Presuppositions and quantifier domains
- Meaning and interpretation. II
- The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating English to FOL
- How the Validity of the Parallel Inference is Possible: From the Ancient Mohist Diagnose to a Modern Logical Treatment of Its Semantic-Syntactic Structure
- A Computable Solution to Partee’s Temperature Puzzle
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic
- Existential import and relations of categorical and modal categorical statements
- Event semantics and abstract categorial grammar
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- scientific article; zbMATH DE number 6900695 (Why is no real title available?)
- Logic for languages containing referentially promiscuous expressions
- Hybrid tableaux for the difference modality
- What is the sense in logic and philosophy of language
- On the presuppositions of number sentences
- Dependency as question entailment
- The Cricket and the Ant: Organizational Trade-offs in Changing Environments
- Recognizing textual entailment and computational semantics
- Fooling around with tenses
- Notes on my scientific life
- Wittgenstein and Formal Semantics: A Case Study on the Tractarian Notions of Truth-Conditions and Compositionality
- \(\mathsf{GF} + \mathsf{MMT} = \mathsf{GLF}\) -- from language to semantics through LF
- Simply-typed constant-domain modal lambda calculus. I: Distanced beta reduction and combinatory logic
- Formal semantics and applied mathematics: an inferential account
- A `natural logic' inference system using the Lambek calculus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4570895)
