A Modal Logic That is Complete with Respect to Strictly Linearly Ordered A-Models

DOI10.1007/S10469-005-0030-ZMaRDI QIDQ3409453zbMATH OpenOpenAlexFDO

Authors V. F. Murzina

Publication date 17 November 2006

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-005-0030-z

zbMATH Keywords

decidabilitypolymodal logicstrictly linearly ordered A-frame

Mathematics Subject Classification ID

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

Recommendations

• Polymodal logic of the class of inductive linear time frames
• Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
• scientific article; zbMATH DE number 1163388
• scientific article; zbMATH DE number 218547
• The temporal logic of inductive frames with linear time

Cited in

(4)

• Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
• Temporal logic of linearly ordered -spaces
• scientific article; zbMATH DE number 2039010 (Why is no real title available?)
• Completeness and definability of a modal logic interpreted over iterated strict partial orders

This page was built for publication: A Modal Logic That is Complete with Respect to Strictly Linearly Ordered A-Models

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