activity
20072026
most citedQuantum modal logic

2 citations · 2 across the 7 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2026

Multimodal Logic Programming with Full Formulas

Kenji Tokuo

This paper presents a first-order multimodal logic programming system called MMLP. The system accepts arbitrary formulas as both programs and queries, without restricting either si…

math.LO2007

Logic of Simultaneity

Kenji Tokuo

A logical model of spatiotemporal structures is pictured as a succession of processes in time. One usual way to formalize time structure is to assume the global existence of time p…