Default consequence relations from topology and measure theory

DOI10.1007/s10472-021-09779-7OpenAlexW4206552093MaRDI QIDQ2122773

Christos Nomikos, Christos Rantsoudis, Christos Moyzes, Costas D. Koutras, Konstantinos B. Liaskos

Publication date: 7 April 2022

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-021-09779-7

zbMATH Keywords

nonmonotonic logicgeneralized quantifiersdefault conditionals

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic with extra quantifiers and operators (03C80)

Cites Work

• A primer on rational consequence relations, Popper functions, and their ranked structures
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• From ordering-based nonmonotonic reasoning to conditional logics
• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• On ultrafilter logic and special functions
• Semantical investigations into nonmonotonic and probabilistic logics
• In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• Logic and the modalities in the twentieth century
• The quantitative/qualitative watershed for rules of uncertain inference
• Nonmonotonic conditionals that behave like conditional probabilities above a threshold
• A model of set-theory in which every set of reals is Lebesgue measurable
• The algebra of topology
• Justified Belief and the Topology of Evidence
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• Measures, Integrals and Martingales
• Conditionals and Modularity in General Logics
• Notes on Set Theory
• O IS NOT ENOUGH
• Handbook of Spatial Logics
• Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
• Calculus Reordered
• Defaults as Generalized Quantifiers
• Understanding Analysis
• From KLM-style conditionals to defeasible modalities, and back
• A Reconstruction of Default Conditionals within Epistemic Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Default consequence relations from topology and measure theory