Power in Normative Systems Thomas Ågotnes† Wiebe van der Hoek‡ Moshe Tennenholtz∗ Michael Wooldridge‡ † ‡

Source URL: folk.uib.no

• Logic
• Mathematics
• Abstraction
• Banzhaf power index
• Game theory
• Voting theory
• Kripke semantics

First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b

Source URL: www.preining.info

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Non-classical logic
• Logic in computer science
• Predicate logic
• First-order logic
• Boolean satisfiability problem
• Gdel numbering
• Many-valued logic
• Kripke semantics

MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins

Source URL: www.cs.princeton.edu

• Logic
• Mathematical logic
• Philosophy
• Modal logic
• Non-classical logic
• Philosophical logic
• Model theory
• Logic in computer science
• Intuitionistic logic
• Kripke semantics
• Multimodal logic
• Accessibility relation

Hybrid Languages∗ Patrick Blackburn† and Jerry Seligman‡ Abstract Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper

Source URL: www.patrickblackburn.org

On the relation between Interpreted Systems and Kripke Models Alessio Lomuscio and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT, UK

Source URL: www.cs.bham.ac.uk

philosophy of language: kripke’s naming and necessity University of Edinburgh PHIL10005 Lecturer: Brian Rabern Office: DSB 4.04c Email:

Source URL: www.philosophy.ed.ac.uk

• Analytic philosophers
• American philosophers
• Guggenheim Fellows
• Metaphysicians
• Names
• Saul Kripke
• Naming and Necessity
• Analytic philosophy
• Modal logic
• Philosophy of language
• Metaphysics
• Philosophy

Automating Leibniz’s Theory of Concepts Automating Leibniz’s Theory of Concepts∗ Jesse Alama Vienna University of Technology

Source URL: mally.stanford.edu

• Logic
• Philosophy
• Mathematics
• Category theory
• Model theory
• Functions and mappings
• Universal property
• Saul Kripke
• First-order logic
• Sheaf
• Function
• Substitution

Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA

Source URL: www.cs.princeton.edu

• Logic
• Theoretical computer science
• Logic in computer science
• Mathematical logic
• Programming language semantics
• Philosophical logic
• Non-classical logic
• Operational semantics
• Semantics
• Kripke semantics
• Modal logic
• Axiomatic semantics

LTL Linear Time Temporal Logic Kripke Structure • K = 〈S, R, L〉 S: set of states (may be infinite)

Source URL: hagi.is.s.u-tokyo.ac.jp

Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid

Source URL: drops.dagstuhl.de

• Model theory
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Allegory
• Pullback
• Substitution
• Structure
• Unification
• Kripke semantics
• Interpretation