hybrid logic

E1252073 UNEXPLORED

Hybrid logic is a branch of modal logic that extends standard modal systems with special symbols to directly refer to and reason about individual states or moments.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
hybrid logic canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Arthur Prior → notableIdea → hybrid logic ⓘ