Journal of logic and computation文章索引

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

共收录本刊相关文章索引1705条

General Models and Completeness of First-Order Modal -calculus [0.03%]

Kashima, R.; Okamoto, K. Kashima

Journal of Logic and Computation. 2007;18(4):497-507. DOI:10.1093/logcom/exm077 2007

Updating Epistemic Logic Programs [0.03%]

Zhang, Y. Zhang

Journal of Logic and Computation. 2008;19(2):405-423. DOI:10.1093/logcom/exn100 2008

POPL 90 Report [0.03%]

BURN, G. L. BURN

Journal of Logic and Computation. 1990;1(1):145-146. DOI:10.1093/logcom/1.1.145 1990

On Greatest Fixpoint Semantics of Logic Programming [0.03%]

Jaume, M. Jaume

Journal of Logic and Computation. 2002;12(2):321-342. DOI:10.1093/logcom/12.2.321 2002

Books Received [0.03%]

Journal of Logic and Computation. 1995;5(2):261-261. DOI:10.1093/logcom/5.2.261 1995

Paraconsistent Stable Semantics for Extended Disjunctive Programs [0.03%]

SAKAMA, CHIAKI; INOUE, KATSUMI SAKAMA

Journal of Logic and Computation. 1995;5(3):265-285. DOI:10.1093/logcom/5.3.265 1995

Simultaneous Replacement in Normal Programs [0.03%]

BOSSI, ANNALISA; COCCO, NICOLETTA; ETALLE et al. BOSSI et al.

Journal of Logic and Computation. 1996;6(1):79-120. DOI:10.1093/logcom/6.1.79 1996

An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs [0.03%]

Cardell-Oliver, R Cardell-Oliver

Journal of Logic and Computation. 1998;8(4):545-567. DOI:10.1093/logcom/8.4.545 1998

Ground Nonmonotonic Modal Logic S5: New Results [0.03%]

Galindo, M. O. Galindo

Journal of Logic and Computation. 2005;15(5):787-813. DOI:10.1093/logcom/exi042 2005

ATL Satisfiability is Indeed EXPTIME-complete [0.03%]

Walther, D.; Lutz, C.; Wolter et al. Walther et al.

Journal of Logic and Computation. 2006;16(6):765-787. DOI:10.1093/logcom/exl009 2006