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条

On the Properties of Metamodeling in OWL [0.03%]

Motik, B. Motik

Journal of Logic and Computation. 2007;17(4):617-637. DOI:10.1093/logcom/exm027 2007

Forgetting Literals with Varying Propositional Symbols [0.03%]

Moinard, Y. Moinard

Journal of Logic and Computation. 2007;17(5):955-982. DOI:10.1093/logcom/exm049 2007

Comparing LTL Semantics for Runtime Verification [0.03%]

Bauer, A.; Leucker, M.; Schallhart et al. Bauer et al.

Journal of Logic and Computation. 2010;20(3):651-674. DOI:10.1093/logcom/exn075 2010

Set Theory and Nominalization, Part I [0.03%]

KAMAREDDINE, FAIROUZ KAMAREDDINE

Journal of Logic and Computation. 1992;2(5):579-604. DOI:10.1093/logcom/2.5.579 1992

Preferential Choice Representation Theorems for Branching Time Structures [0.03%]

SCHLECHTA, KARL SCHLECHTA

Journal of Logic and Computation. 1995;5(6):783-800. DOI:10.1093/logcom/5.6.783 1995

Preservation by fibring of the finite model property [0.03%]

Coniglio, M. E.; Sernadas, A.; Sernadas et al. Coniglio et al.

Journal of Logic and Computation. 2011;21(2):375-402. DOI:10.1093/logcom/exq022 2011

On Gentzen Systems Associated with the Finite Linear MV-algebras [0.03%]

GIL, ÀNGEL J.; TORRENS, ANTONI; VERDÚ et al. GIL et al.

Journal of Logic and Computation. 1997;7(4):473-500. DOI:10.1093/logcom/7.4.473 1997

A Note on Linear Kripke Models [0.03%]

Iemhoff, R. Iemhoff

Journal of Logic and Computation. 2005;15(4):489-506. DOI:10.1093/logcom/exi031 2005

Strong Negation and Equivalence in the Safe Belief Semantics [0.03%]

Ortiz, M.; Osorio, M. Ortiz

Journal of Logic and Computation. 2007;17(3):499-515. DOI:10.1093/logcom/exm011 2007

A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames [0.03%]

D'Agostino, G.; Lenzi, G. D'Agostino

Journal of Logic and Computation. 2007;18(4):601-614. DOI:10.1093/logcom/exm085 2007