Incompleteness results in Kripke semantics
Copyright policy )Incompleteness results in Kripke semantics
AbstractBy means of models in toposes of C-sets (where C is a small category), necessary conditions are found for the minimum quantified extension of a propositional (intermediate, modal) logic to be complete with respect to Kripke semantics; in particular, many well-known systems turn out to be incomplete.
- University of Milan Italy
Kripke frames, non-classical predicate logics, Nonclassical models (Boolean-valued, sheaf, etc.), incompleteness, Modal logic (including the logic of norms), intermediate logic, Intermediate logics, Categorical logic, topoi, Kripke completeness, Kripke semantics, C-sets, modal logic
Kripke frames, non-classical predicate logics, Nonclassical models (Boolean-valued, sheaf, etc.), incompleteness, Modal logic (including the logic of norms), intermediate logic, Intermediate logics, Categorical logic, topoi, Kripke completeness, Kripke semantics, C-sets, modal logic
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).30 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!