A generalization of inquisitive semantics

DOI10.1007/S10992-015-9379-1zbMath1415.03036OpenAlexW1417958065MaRDI QIDQ312497

Vít Punčochář

Publication date: 15 September 2016

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-015-9379-1

zbMATH Keywords

Kripke semanticsintuitionistic logicinquisitive logictopological semanticsdisjunctionsuperintuitionistic logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (10)

GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC ⋮ A relevant logic of questions ⋮ AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ Questions and dependency in intuitionistic logic ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Questions as information types ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Proof-theoretic semantics and inquisitive logic ⋮ Inquisitive Heyting algebras ⋮ Revisiting Semilattice Semantics

Cites Work

• Algebraic foundations for the semantic treatment of inquisitive content
• Some results on intermediate constructive logics
• Inquisitive logic
• Some modifications of Carnap's modal logic
• Dynamic epistemic logic
• On maximal intermediate logics with the disjunction property
• Modal companions of intermediate propositional logics
• A new solution to a problem of Hosoi and Ono
• Intuitionistic implication without disjunction
• Towards a Suppositional Inquisitive Semantics
• Reasoning About Space: The Modal Way
• Der Aussagenkalkül und die Topologie
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A generalization of inquisitive semantics