Sergei Nikolaevich Artemov, Melvin Fitting
Abstract
Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.
OpenAlex reports 27 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.
Key concepts: Philosophy of logic, Computational logic, Epistemic modal logic, Dynamic logic (digital electronics), Multimodal logic, Term logic, Paraconsistent logic, Predicate logic