Inference in action

MaRDI QIDQ3510437zbMATH OpenFDO

Authors Johan van Benthem

Publication date 2 July 2008

Full work available at URL https://eudml.org/doc/117040

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

modal logicmodel theorydynamic logicstructural rules

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Inference, Consequence, Implication: A Constructivist's Perspective
• Categorial inference and modal logic
• scientific article; zbMATH DE number 65539
• scientific article; zbMATH DE number 67848
• What is an inference rule?

Cited in

(6)

• RGSep Action Inference
• The many faces of interpolation
• Inferring beliefs from actions
• scientific article; zbMATH DE number 4189245 (Why is no real title available?)
• scientific article; zbMATH DE number 4164170 (Why is no real title available?)
• Dynamic Epistemic Logic as a Substructural Logic

This page was built for publication: Inference in action

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510437)