Kripke models for linear logicALLWEIN, G; DUNN, J. M.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 514-545, issn 0022-4812Conference Paper

A Kripke-style model for the admissibility of structural rulesGOGUEN, Healfdene.Lecture notes in computer science. 2002, pp 112-124, issn 0302-9743, isbn 3-540-43287-6Conference Paper

Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculusDOSEN, K.Notre Dame journal of formal logic. 1991, Vol 32, Num 4, pp 580-597, issn 0029-4527Article

Relational representability for algebras of substructural logicsORŁOWSKA, Ewa; RADZIKOWSKA, Anna Maria.Lecture notes in computer science. 2006, pp 212-224, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 13 p.Conference Paper

Topo-distance : Measuring the difference between spatial patternsAIELLO, Marco.Lecture notes in computer science. 2000, pp 73-86, issn 0302-9743, isbn 3-540-41131-3Conference Paper

An arithmetical ompleteness theorem for pre-permutationsTUTTAS, F.Notre Dame journal of formal logic. 1993, Vol 34, Num 1, pp 84-89, issn 0029-4527Article

A characterization of lambda definability in categorical models of implicit polymorphismALIMOHAMED, M.Theoretical computer science. 1995, Vol 146, Num 1-2, pp 5-23, issn 0304-3975Article

Getting belief functions from Kripke modelsHAJEK, P.International journal of general systems (Print). 1996, Vol 24, Num 3, pp 325-327, issn 0308-1079Article

Structure-preserving binary relations for program abstractionSCHMIDT, David A.The essence of computation (complexity, analysis, transformation). Lecture notes in computer science. 2002, pp 245-265, issn 0302-9743, isbn 3-540-00326-6, 21 p.Book Chapter

On multi-agent systems specification via Deontic logicLOMUSCIO, Alessio; SERGOT, Marek.Lecture notes in computer science. 2002, pp 86-99, issn 0302-9743, isbn 3-540-43858-0, 14 p.Conference Paper

Kripke models, distributive lattices, and medvedev degreesTERWIJN, Sebastiaan A.Lecture notes in computer science. 2005, pp 486-494, issn 0302-9743, isbn 3-540-26179-6, 9 p.Conference Paper

A syntactical approach to weak (bi-)simulation for coalgebrasROTHE, Jan.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopWorkshop on coalgebraic methods in computer science. 2002, 16 p.Conference Paper

Propositional contextsDICHEV, Christo; MADAROV, Trendafil.Lecture notes in computer science. 2000, pp 101-110, issn 0302-9743, isbn 3-540-41044-9Conference Paper

Computable Kripke models and intermediate logicsISHIHARA, H; KHOUSSAINOV, B; NERODE, A et al.Information and computation (Print). 1998, Vol 143, Num 2, pp 205-230, issn 0890-5401Conference Paper

An essay in combinatory dynamic logicPASSY, S; TINCHEV, T.Information and computation (Print). 1991, Vol 93, Num 2, pp 263-332, issn 0890-5401, 70 p.Article

Epistemic logics for information fusionLIAU, Churn-Jung.Lecture notes in computer science. 2003, pp 489-501, issn 0302-9743, isbn 3-540-40494-5, 13 p.Conference Paper

Avoiding logical omniscience by using subjective situationsMORENO, Antonio; CORTES, Ulises; SALES, Ton et al.Lecture notes in computer science. 2000, pp 284-299, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Properties of independently axiomatizable bimodal logicsKRACHT, M; WOLTER, F.The Journal of symbolic logic. 1991, Vol 56, Num 4, pp 1469-1485, issn 0022-4812Article

A note on kripke's observationSUZUKI, Shogo.Lecture notes in computer science. 2006, pp 69-76, issn 0302-9743, isbn 3-540-35470-0, 1Vol, 8 p.Conference Paper

On open-set lattices and some of their applications in semanticsTJIOK, Mouw-Ching.International journal of intelligent systems. 2003, Vol 18, Num 12, pp 1243-1292, issn 0884-8173, 50 p.Article

Multi-agent VSK logicWOOLDRIDGE, Michael; LOMUSCIO, Alessio.Lecture notes in computer science. 2000, pp 300-312, issn 0302-9743, isbn 3-540-41131-3Conference Paper

The canonical kripke model for the modal system S5 over a finite number of variablesHANSOUL, G; SART, F.Bulletin de la Société Royale des Sciences de Liège. 1991, Vol 60, Num 1, pp 51-55, issn 0037-9565, 5 p.Article

A categorical approach to simulationsPALOMINO, Miguel; MESEGUER, José; MARTI-OLIET, Narciso et al.Lecture notes in computer science. 2005, pp 313-330, issn 0302-9743, isbn 3-540-28620-9, 18 p.Conference Paper

Logical relations for dynamic name creationYU ZHANG; NOWAK, David.Lecture notes in computer science. 2003, pp 575-588, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Coalgebraic modal logic of finite rankKURZ, Alexander; PATTINSON, Dirk.Report - Software engineering. 2002, Num 22, pp 1-23, issn 1386-369X, 23 p.Article