A foundation for metareasoning Part II: The model theory

Journal of Logic and Computation

Volumn 12, Issue 3, 2002, Pages 345-370

  Criscuolo, Giovanni ^a   Giunchiglia, Fausto ^b,c   Serafini, Luciano ^c  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

^c ITC IRST   (Italy)

Author keywords

Contextual reasoning; Metatheory; Reflection

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; FORMAL LOGIC; SET THEORY; THEOREM PROVING;

CONTEXTUAL REASONING; METAREASONING; METATHEORY;

SYSTEM THEORY;

EID: 0036608774     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/12.3.345     Document Type: Article

References (7)

1. A foundation for metareasoning, part I: The proof theory
2. Transfinite recursive progressions of axiomatic theories
3. Contextual reasoning