The Fixed Point Property in Modal Logic
Work
Year: 2001
Type: article
Abstract: This paper deals with the modal logics associated with (possibly nonstandard) provability predicates of Peano Arithmetic. One of our goals is to present some modal systems having the fixed point prope... more
Author Lorenzo Sacchetti
Institution University of Notre Dame
Cites: 13
Cited by: 8
Related to: 10
FWCI: 0.453
Citation percentile (by year/subfield): 77.46
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze