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 logiccompletenessmodalitytense logicpredicate logictense\(\text{T}\times \text{W}\)-semanticsKamp-semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)

Related Items (9)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Combinations of tense and modality for predicate logic