SIZE AND LOGIC

DOI10.1017/S1755020309090224MaRDI QIDQ3395333zbMATH OpenOpenAlexFDO

Authors Dov Gabbay, K. Schlechta

Publication date 26 August 2009

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0903.1367

zbMATH Keywords

nonmonotonic reasoningpreferential models

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Abstract: We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notions of size, using them as building blocks.

Recommendations

• Filters and partial orders
• Nonmonotonic logics and semantics
• Roadmap for preferential logics
• Formal Methods for Nonmonotonic and Related Logics
• Non-monotonic logic: preferential versus algebraic semantics

Cites work

• Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
• Defaults as Generalized Quantifiers
• Nonmonotonic conditionals that behave like conditional probabilities above a threshold
• On the logic of nonmonotonic conditionals and conditional probabilities
• The quantitative/qualitative watershed for rules of uncertain inference

Cited in

(9)

• Semantic interpolation
• Size functions
• On the sizes of DPDAs, PDAs, LBAs
• Modal logics of reactive frames
• The size of SPP
• The Logic of Large Enough
• Introducing reactive modal tableaux
• Size matters!
• The large, the small and the human mind

This page was built for publication: SIZE AND LOGIC

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