Tense Logic Without Tense Operators
Copyright policy )Tense Logic Without Tense Operators
AbstractWe shall describe the set of strongly meet irreducible logics in the lattice ϵLin.t of normal tense logics (in the bimodal propositional language) of weak orderings. Based on this description it is shown that all logics in ϵLin.t are independently axiomatizable. Then the description is used in order to investigate tense logics with respect to decidability, finite axiomatizability, axiomatization problems and completeness with respect to Kripke semantics. The main tool for the investigation is a translation of bimodal formulas into a language talking about partitions of general frames into intervals so that relative to both Kripke frames and descriptive frames the expressive power of both languages coincides.Mathematics Subject Classification: 03B45, 03B25.
Decidability of theories and sets of sentences, weak orderings, completeness, decidability, Modal logic (including the logic of norms), axiomatizability, lattice of normal tense logics
Decidability of theories and sets of sentences, weak orderings, completeness, decidability, Modal logic (including the logic of norms), axiomatizability, lattice of normal tense logics
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).20 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.Average 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.Top 10%
Citations provided by BIP!Popularity provided by BIP!