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