Explicit definitions of implicitly definable objects in some modal logics

DOI10.1007/BF02683839zbMath0936.03020MaRDI QIDQ1972816

Larisa L. Maksimova

Publication date: 13 April 2000

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

modal logicpropositional logicKripke frameimplicit definabilityantisymmetric frameexplicit definabilitytransitive frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• Pretabular extensions of Lewis S4
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Explicit definitions of implicitly definable objects in some modal logics