Completeness of minimal positional calculus

MaRDI QIDQ3592804zbMATH OpenFDO

Authors Tomasz Jarmużek, Andrzej Pietruszczak

Publication date 24 September 2007

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 1929309
• The derivations of temporal logic formulas
• scientific article; zbMATH DE number 757647
• The minimal system \(L_ 0'\)
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization

Cited in

(6)

• Maximality of the minimal \(\mathcal R\)-logic
• Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena
• Tableau Systems for Epistemic Positional Logics
• On the modal interpretation of the connective of realisation
• Jerzy Łos positional calculus and the origin of temporal logic
• A spurious confusion in temporal logic

This page was built for publication: Completeness of minimal positional calculus

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