A finitely axiomatizable undecidable extension of K

DOI10.1111/J.1755-2567.1977.TB00788.XzbMath0391.03011OpenAlexW1999743368MaRDI QIDQ4172036

Stephen D. Isard

Publication date: 1977

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1977.tb00788.x

zbMATH Keywords

Modal LogicFinitely Axiomatizable Undecidable Extension

Mathematics Subject Classification ID

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

Related Items (2)

Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames ⋮ Undecidable properties of extensions of the logic of provability

This page was built for publication: A finitely axiomatizable undecidable extension of K