Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Beatriz Bernardo
Claudia Calabrese
Hao Mao
Peter Malec
Lifeng Han
Cameron Mura
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Paper
/
Johan van Benthem, Language in Action: Categories, Lambdas and Dynamic Logic
Paper Info
Open Visualization
Title
Johan van Benthem, Language in Action: Categories, Lambdas and Dynamic Logic
Year
Venue
Keywords
1993
Artif. Intell.
dynamic logic
DocType
Volume
Issue
Journal
63
1-2
Citations
PageRank
References
0
0.34
0
Authors
1
Authors (1 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
David J. Israel
1
961
291.98
1