Logical forms, substitutions and information types

DOI10.12775/LLP.2023.017zbMATH Open1542.03024MaRDI QIDQ6535318

Vít Punčochář

Publication date: 12 December 2023

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

non-classical logicsuniform substitutionlogical forminformation types

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

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)