M. Fitting. Modal logic between propositional and first order. Journal of Logic and Computation, 12:1017--1026, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First-Order Intensional Logic - Fitting (2003) (1 citation) Self-citation (Fitting) (Correct)
No context found.
M. C. Fitting. Modal logics between propositional and first-order. Journal of Logic and Computation, 12:1017--1026, 2002.
Temporal Logic With Predicate Lambda-Abstraction. - Lisitsa, Potapov (2005) (Correct)
No context found.
M. Fitting. Modal logic between propositional and first order. Journal of Logic and Computation, 12:1017--1026, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC