Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Cyclic Henkin Logic
Map detail
Cyclic Henkin Logic3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipTopic signalCyclic Henkin LogicWCyclic Henkin Logicpreprint / 2021Albert VisserAAlbert VisserResearchermath.LOTmath.LO1661 works
Paper2 links

Cyclic Henkin Logic

preprint / 2021