External Links

    Journal: Journal of Logic and Computation

    Volume 30, Issue 6

    1143 -- 1181Michael Freund. Ordered models for concept representation
    1183 -- 1211Valentin Goranko, Antti Kuusisto, Raine Rönnholm. Rational coordination with no communication or conventions
    1213 -- 1238Dominik Klein 0004, Rasmus K. Rendsvig. Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1
    1239 -- 1255Merlin Carl. Space and time complexity for infinite time Turing machines
    1257 -- 1290Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio. First-order swap structures semantics for some logics of formal inconsistency
    1291 -- 1302Satoru Niki, Peter Schuster 0001. On Scott's semantics for many-valued logic
    1303 -- 0Guillaume Aucher. Corrigendum to: Displaying updates in logic
    runs on