We Will Show Them! (2)

Keyphrases

Publications

2005

Alice ter Meulen
Still. We Will Show Them! (2) (2005)
Hans Jürgen Ohlbach
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library. We Will Show Them! (2) (2005)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) (2005)
Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
A New Basic Set of Transformations between Proofs. We Will Show Them! (2) (2005)
Ben C. Moszkowski
A Hierarchical Analysis of Propositional Temporal Logic based on Intervals. We Will Show Them! (2) (2005)
Dale Jacquette
Kripke's Modal Objection to the Description Theory of Reference. We Will Show Them! (2) (2005)
Vladimir V. Rybakov
Inference in Temporal Next-Time Logic. We Will Show Them! (2) (2005)
George Metcalfe, Nicola Olivetti
Goal-Directed Methods for Fuzzy Logics. We Will Show Them! (2) (2005)
Amir Pnueli
Verification of Procedural Programs. We Will Show Them! (2) (2005)
Ian M. Hodkinson, Mark Reynolds
Separation - Past, Present, and Future. We Will Show Them! (2) (2005)
We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two We Will Show Them! (2) (2005)
David Makinson
Friendliness for Logicians. We Will Show Them! (2) (2005)
Erica Melis, Jörg H. Siekmann
e-Learning Logic and Mathematics: What We Have and What We Need. We Will Show Them! (2) (2005)
Joseph A. Goguen, Kai Lin
Specifying, Programming and Verifying with Equational Logic. We Will Show Them! (2) (2005)
Odinaldo Rodrigues
Iterated Revision and Automatic Similarity Generation. We Will Show Them! (2) (2005)
John Grant, Sarit Kraus, Donald Perlis
Formal Approaches to Teamwork. We Will Show Them! (2) (2005)
Jan Willem Klop, Roel C. de Vrijer
Infinitary Normalization. We Will Show Them! (2) (2005)
Rolf Nossum
Nesting Patterns in Fibred Logics of Context. We Will Show Them! (2) (2005)
Larisa Maksimova
Interpolation and Joint Consistency. We Will Show Them! (2) (2005)
John Woods
Epistemic Bubbles. We Will Show Them! (2) (2005)
Lorenzo Magnani
Abduction and Cognition in Organic and Logical Agents. We Will Show Them! (2) (2005)
Gabriella Pigozzi
Should We Send Him to Prison? Paradoxes of Aggregation and Belief Merging. We Will Show Them! (2) (2005)
Wilfried Meyer-Viol, Ruth Kempson
Sequence-Dominance Grammars. We Will Show Them! (2) (2005)
Daniel Leivant
Partial Correctness Assertions Provable in Dynamic Logic. We Will Show Them! (2) (2005)
Jon Williamson
Objective Bayesian Nets. We Will Show Them! (2) (2005)
Wilfrid Hodges
Detecting the Logical Content: Burley's 'Purity of Logic'. We Will Show Them! (2) (2005)
Valentin B. Shehtman
On Neighbourhood Semantics 30 years later. We Will Show Them! (2) (2005)
Patrick Suppes
Psychological Nature of Verification of Informal Mathematical Proofs. We Will Show Them! (2) (2005)