Forcing in Proof Theory (2004)

by Jeremy Avigad
Venue:BULL SYMB LOGIC
Citations:10 - 0 self

Active Bibliography

1237 Intelligent agents: Theory and practice – Michael Wooldridge, Nicholas R. Jennings - 1995
902 Modeling Rational Agents within a BDI-Architecture – Anand S. Rao, Michael P. Georgeff - 1991
575 Model Theory – Wilfrid Hodges - 2000
531 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000
888 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
739 BDI Agents: From Theory to Practice – Anand S. Rao, Michael P. Georgeff - 1995
940 The Concept of a Linguistic Variable and its Application to Approximate Reasoning – L. A. Zadeh - 1975
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
429 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989