Combinations of tense and modality for predicate logic

DOI10.1023/A:1004359325754MaRDI QIDQ1303794zbMATH OpenFDO

Authors Stefan Wölfl

Publication date 22 September 1999

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

zbMATH Keywords

completenessmodal logicmodalitytense logicpredicate logictense\(\text{T}\times \text{W}\)-semanticsKamp-semantics

Mathematics Subject Classification ID

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

Recommendations

• Combined temporal and modal logic. Completeness results for predicate logic languages
• Some System of Predicate Tense Logic
• scientific article; zbMATH DE number 4085608
• Tense logic and time

Cites work

• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 3619844 (Why is no real title available?)
• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• scientific article; zbMATH DE number 1536560 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• A complete deductive-system for since-until branching-time logic
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Branching-time logic with quantification over branches: The point of view of modal logic
• Causation
• Modal logic with names
• On the characterizability of the frames for the ``unpreventability of the present and the past
• T W completeness
• Time and modality in the logic of agency

Cited in

(14)

• Time and determinism
• Quantified temporal alethic boulesic doxastic logic
• Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
• A functional approach for temporal \(\times\) modal logics
• Combined temporal and modal logic. Completeness results for predicate logic languages
• scientific article; zbMATH DE number 5234118 (Why is no real title available?)
• Temporal alethic-deontic logic and semantic tableaux
• scientific article; zbMATH DE number 4085608 (Why is no real title available?)
• Propositional Q-logic
• Some System of Predicate Tense Logic
• Axiomatising the Prior future in predicate logic
• A two dimensional tense-modal sortal logic
• Quantification over sets of possible worlds in branching-time semantics
• Quantified temporal alethic-deontic logic

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

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