Completeness of minimal positional calculus

zbMATH Open1117.03328MaRDI QIDQ3592804FDOQ3592804

Authors: Tomasz Jarmużek, Andrzej Pietruszczak 

Publication date: 24 September 2007

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

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
• A spurious confusion in temporal logic
• Jerzy Łos positional calculus and the origin of temporal logic
• On the modal interpretation of the connective of realisation

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)