Login / Signup
John Nolt
Publication Activity (10 Years)
Years Active: 1990-2012
Publications (10 Years): 0
Top Topics
Theorem Prover
Business Process
Event Logs
Formal Semantics
Top Venues
J. Database Manag.
</>
Publications
</>
Henry H. Bi
,
John Nolt
Toward a Formal Semantics for Control-Flow Process Models.
J. Database Manag.
23 (2) (2012)
John Nolt
Truth as an Epistemic Ideal.
J. Philos. Log.
37 (3) (2008)
John Nolt
Reference and perspective in intuitionistic logics.
J. Log. Lang. Inf.
16 (1) (2007)
John Nolt
A Fully Logical Inductive Logic.
Notre Dame J. Formal Log.
31 (3) (1990)