Mathematically and computationally relevant dualities

[1]  Ichiro Hasuo,et al.  Context-Free Languages via Coalgebraic Trace Semantics , 2005, CALCO.

[2]  Ana Sokolova,et al.  Exemplaric Expressivity of Modal Logics , 2010, J. Log. Comput..

[3]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[4]  Lutz Schröder,et al.  Expressivity of coalgebraic modal logic: The limits and beyond , 2008, Theor. Comput. Sci..

[5]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[6]  D. Mundici.  Interpretation of AF -algebras in ukasiewicz sentential calculus , 1986 .

[7]  Serge Grigorieff,et al.  Duality and Equational Theory of Regular Languages , 2008, ICALP.

[8]  Ana Sokolova,et al.  Generic Trace Semantics via Coinduction , 2007, Log. Methods Comput. Sci..

[9]  Gordon D. Plotkin,et al.  Towards a mathematical operational semantics , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

[10]  Klaus Keimel,et al.  The probabilistic powerdomain for stably compact spaces , 2004, Theor. Comput. Sci..

[11]  Bart Jacobs,et al.  Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study , 2001, RAIRO Theor. Informatics Appl..

[12]  Bart Jacobs,et al.  Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems , 2008, CMCS.

[13]  Daniele Mundici,et al.  Geometry of Robinson consistency in Lukasiewicz logic , 2007, Ann. Pure Appl. Log..

[14]  Mai Gehrke,et al.  Bounded distributive lattice expansions , 2004 .

[15]  Daniele Mundici,et al.  Extending Stone duality to multisets and locally finite MV-algebras ☆ , 2004 .

[16]  M. Andrew Moshier,et al.  Multi Lingual Sequent Calculus and Coherent Spaces , 1999, Fundam. Informaticae.

[17]  Robert Goldblatt.  Maps and Monads for Modal Frames , 2006, Stud Logica.