Decidability results in non-classical logic. III: Systems with statability operators

DOI10.1007/BF02771564zbMath0289.02033OpenAlexW2994731399MaRDI QIDQ1846859

Dov M. Gabbay

Publication date: 1971

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02771564

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99)

Cites Work

• Some Modal Logics based on a Three‐valued Logic
• Semantics for RK_t
• Decidability of Second-Order Theories and Automata on Infinite Trees