Combinations of tense and modality for predicate logic

DOI10.1023/A:1004359325754zbMath0933.03014MaRDI QIDQ1303794

Stefan Wölfl

Publication date: 22 September 1999

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

zbMATH Keywords

modal logic; completeness; modality; tense logic; predicate logic; tense; \(\text{T}\times \text{W}\)-semantics; Kamp-semantics

Mathematics Subject Classification ID

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

03A05: Philosophical and critical aspects of logic and foundations

03B44: Temporal logic

Related Items

Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox, Time and determinism, Quantified temporal alethic boulesic doxastic logic, Propositional \(\text Q\)-logic, Axiomatising the Prior future in predicate logic, Temporal alethic-deontic logic and semantic tableaux, A two dimensional tense-modal sortal logic, Quantification over sets of possible worlds in branching-time semantics, Quantified temporal alethic-deontic logic

Cites Work

• A finite axiomatization of the set of strongly valid Ockhamist formulas
• On the characterizability of the frames for the ``unpreventability of the present and the past
• Time and modality in the logic of agency
• Causation
• Modal logic with names
• T \(\times\) W completeness
• A complete deductive-system for since-until branching-time logic
• Branching-time logic with quantification over branches: The point of view of modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item