scientific article; zbMATH DE number 6863639

MaRDI QIDQ4636027zbMATH OpenFDO

Authors Philippe Balbiani, David Fernández-Duque

Publication date 23 April 2018

zbMATH Keywords

axiomatization/completenesslexicographic productlinear temporal logicmodal logics

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combined logics (03B62)

Recommendations

• Axiomatization and completeness of lexicographic products of modal logics
• Axiomatization and Completeness of Lexicographic Products of Modal Logics
• On the Products of Linear Modal Logics
• The axiomatization of propositional linear time temporal logic
• An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
• An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
• Products of modal logics. III. Products of modal and temporal logics
• A functional approach for temporal \(\times\) modal logics
• Adequacy and complete axiomatization for timed modal logic
• Modal and temporal extensions of non-distributive propositional logics

Cited in

(1)

• Sufficient conditions for local tabularity of a polymodal logic

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 Q4636027)