scientific article; zbMATH DE number 991155

MaRDI QIDQ3124391zbMATH OpenFDO

Authors

Publication date 26 October 1997

zbMATH Keywords

infinite-valued logicsatisfiability problemtemporal logictemporal operatorsundecidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Recommendations

• Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
• Temporal logics with incommensurable distances are undecidable
• An infinitary encoding of temporal equilibrium logic
• Completeness of temporal logics over infinite intervals.
• On undecidability of propositional temporal logics on trace systems
• A complete axiom system for propositional interval temporal logic with infinite time
• An approach to infinitary temporal proof theory
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• scientific article; zbMATH DE number 4210108
• Decidability of Propositional Projection Temporal Logic with Infinite Models

Cited in

(2)

• Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
• Temporal logics with incommensurable distances are undecidable

This page was built for publication:

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