van Bentham's incomplete modal logic `vB` #712

Open

opened

on Jan 26, 2026

Generalフレームに関する議論が必要．

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests