Trees and nest structures

DOI10.2307/2270448zbMath0149.00501OpenAlexW2051342369MaRDI QIDQ5527813

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

Related Items (max. 100)

Quantified temporal alethic boulesic doxastic logic ⋮ A near-optimal method for reasoning about action ⋮ 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 ⋮ Relevant analytic tableaux

Cites Work

• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY

This page was built for publication: Trees and nest structures