Logical forms, substitutions and information types
From MaRDI portal
Publication:6535318
DOI10.12775/LLP.2023.017zbMATH Open1542.03024MaRDI QIDQ6535318
Publication date: 12 December 2023
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A generalization of inquisitive semantics
- Inquisitive logic
- Most general first order theorems are not recursively enumerable
- Dynamic epistemic logic
- A counterexample to modus tollens
- Iterated team semantics for a hierarchy of informational types
- Inquisitive Semantics
- Bridges between Classical and Nonmonotonic Logic
- Modalities and Quantification
- Tractatus logico-philosophicus. With an introduction by B. Russell.
Related Items (3)
Logical forms: validity and variety of formalizations ⋮ Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition ⋮ Subtyping in logical form
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Formal notes on the substitutional analysis of logical consequence 👍 👎
- Informational interpretation of substructural propositional logics 👍 👎
- Logic program forms 👍 👎
- Theories of propositional logics and the converse of substitution 👍 👎
- Subtyping in logical form 👍 👎
- Logical Form and Truth-Conditions 👍 👎
- SUBSTITUTION IN RELEVANT LOGICS 👍 👎
- Logical forms: validity and variety of formalizations 👍 👎
This page was built for publication: Logical forms, substitutions and information types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535318)
