STRICT PREDICATIVITY1 Charles Parsons The most basic notion of impredicativity applies to specifications or definitions of sets or classes. If a set b is specified as {x: A(x)} for some predicate A, then the specificatio

Source URL: logic.harvard.edu

The DAG-Width of Directed Graphs Dietmar Berwanger a, Anuj Dawar b , Paul Hunter c , Stephan Kreutzer d , Jan Obdrˇza´ lek e a LSV, b University c Department

Source URL: logic.las.tu-berlin.de

Temporal Logic Made Practical Cindy Eisner and Dana Fisman Abstract In the late seventies, Pnueli suggested that functional properties of reactive systems be formally expressed in temporal logic. In order that model chec

Source URL: www.cis.upenn.edu

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

Source URL: chargueraud.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Data types
• Type theory
• Logic in computer science
• Automated theorem proving
• OCaml
• Coq
• Disjoint-set data structure
• Proof assistant

Do as I Say, Not as I Do, or, Conformity in Scientific Networks James Owen Weatherall, Cailin O’Connor Department of Logic and Philosophy of Science University of California, Irvine

Source URL: cailinoconnor.com

1 2 We survey some main features of Ibn S¯ın¯a’s propositional logic. Supporting evidence is being written up (but it will be

Source URL: wilfridhodges.co.uk

Modelling logic programming: an LFCS adventure John Power, University of Bath I was introduced to logic programming by Leon Sterling in 1988–89, the year before I came to Edinburgh. That was already informed by LFCS: L

Source URL: events.inf.ed.ac.uk

Variable-free Formalization of the Curry-Howard Theory W. W. Tait The reduction of the lambda calculus to the theory of combinators in [Sch¨onfinkel, 1924] applies to positive implicational logic, i.e. to the typed lam

Source URL: home.uchicago.edu

The Twenty-Fourth Annual Alfred Tarski Lectures UNIVERSITY OF CALIFORNIA, BERKELEY Per Martin-Löf

Source URL: logic.berkeley.edu

Normative Reasoning and Deontic Logics [@RUB – SS2015] Christian Straßer Institute for Philosophy II, Ruhr-University Bochum Centre for Logic and Philosophy of Science Ghent University, Belgium

Source URL: homepages.ruhr-uni-bochum.de