Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization

DOI10.1007/BF00357842zbMath0858.03020MaRDI QIDQ1914372

Lennart Åqvist

Publication date: 19 March 1997

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

completenesstense operatorsaxiomatic systemtemporal structurediscrete tense logicsystematic frame constants

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Local model checking in the modal mu-calculus
• A conjectured axiomatization of two-dimensional Reichenbachian tense logic
• A complete deductive-system for since-until branching-time logic
• Modal logic with subjunctive conditionals and dispositional predicates
• On the definition of ‘formal deduction’
• A completeness proof for an infinitary tense-logic
• Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
• On the Logic of “To‐morrow”¹
• To the memory of Arthur Prior Formal properties of ‘now’
• Two-dimensional modal logic
• 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: Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization