Trees and nest structures

DOI10.2307/2270448MaRDI QIDQ5527813zbMATH OpenOpenAlexFDO

Authors Raymond M. Smullyan

Publication date 1966

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2270448

zbMATH Keywords

mathematical logic

Cites work

• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY

Cited in

(6)

• A near-optimal method for reasoning about action
• Relevant analytic tableaux
• Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
• Jean van Heijenoort's contributions to proof theory and its history
• Doxastic logic: a new approach
• Quantified temporal alethic boulesic doxastic logic

This page was built for publication: Trees and nest structures

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