Game-theoretic semantics for first-order logic
Logic programs with ordered disjunction: First-order semantics and expressiveness
... Abstract Logic programs with ordered disjunction (LPODs) (Brewka 2002) generalize normal logic programs by combining alter- native and ranked options in the heads of ...ing game theory, policy ...
10
Representing Game Dialogue as Expressions in First-Order Logic
... Motivation for Use It is important, before we go further, to justify our choice of using core.logic over another, more conventional and well-known logic language such as Prolog. The primary motivation was that ...
97
First-Order Stable Model Semantics and First-Order Loop Formulas
... the first-order stable model semantics by Ferraris et ...on first-order loop formulas by Chen et ...arbitrary first-order sentences, limiting attention to Herbrand stable ...
56
The First-Order Logic of Hyperproperties
... While hyperproperties have recently received a lot of attention from a practical perspective (cf. [1, 4, 12]), their logical and language-theoretic foundations are far less understood, and it is our hope that this ...
14
A First-Order Logic with Frames
... Separation logic makes a different design ...the semantics of the formula is defined for models with given supports/heaplets, where the idea of a heaplet is whether it supports the truthhood of a formula ...
48
The first-order hypothetical logic of proofs
... world semantics for first-order logic of ...Applied Logic, 165, 225–240, ...interactive logic. In Computer Science Logic, 16th International Workshop, CSL 2002, 11th ...
44
Policy Monitoring in First-order Temporal Logic
... The applications we present come from the domain of security and com- pliance monitoring. An example, from financial reporting, is the requirement: Every transaction of a customer who has within the last 30 days been ...
17
Some remarks on proof theoretic semantics
... To a large extent this approach may be regarded as just expressing first-order con- nectives using second-order logic, and not very different from Schroeder-Heister’s higher-level rules. The ...
15
Sketch of a Proof-Theoretic Semantics for Necessity
... in order to be informed about the conditions for the application of their I- and ...intuitionist logic could acquire a grasp of their meanings by learning the rules of inference of ...
7
Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification
... second-order logic (eso logic) if, and only if, it is in NP ...eso logic also still characterize NP ...eso logic, its reduction closure under first-order reductions is ...
13
The Semantics of Metaphor in the Game Theoretic Semantics with at Least Two Coordination Equilibria
... gives us stable understanding of meanings, this also prevent us not to have a new metaphorical meaning out of the system. Secondly, although Black strongly insists the necessity of semantics in his study of ...
8
First-order logic
... Whereas propositional logic assumes world contains facts, first-order logic (like natural language) assumes the world contains. • Objects: people, houses, numbers, theories, Ronald McDon[r] ...
6
2. Second-order Logic versus First-order Logic
... in order to make the experiment the physicist has to presuppose the validity of other unquestioned underlying physical laws and, hence, it is not excluded that one or more of such underlying laws are re- sponsible ...
20
Geometrisation of first order logic
... every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any ...
40
First-Order Logic A: Syntax
... • First-order logic (like natural language) assumes the world contains – Objects: people, houses, numbers, colors, baseball games, wars, … – Functions: father of, best friend, one more t[r] ...
Second-order type isomorphisms through game semantics
... However, although it has led us to a good characterization of type isomorphisms, uniformity is still a very ad hoc property. We suspect that there is an analogy between uniformity and innocence: maybe this link could ...
36
First Order vs Higher Order Modification in Distributional Semantics
... jective has on the meaning of the resulting modified nominal. Interestingly, recent approaches to the semantic composition of adjectives with nouns such as Baroni and Zamparelli (2010) and Guevara (2010) draw on the ...
11
Computational Logic. First-Order Logic. Martin Baláº
... A formula is in negation normal form i if {¬, ∧, ∨} are are the only allowed connectives and literals are the only negated subformulas. A formula is in prenex normal form i it is of th[r] ...
15
Part 2: First-Order Logic
... consider first the propositional level: Construct a candidate model I N as for unrestricted resolution, except that clauses C in N that have selected literals are not productive, even when they are false in I C ...
41
On Algebraization of Classical First Order Logic
... In 1956 P. R. Halmos introduced polyadic algebra to express first order logic algebraically. Polyadic algebra is an extension of Boolean algebra with operators corresponding to the usual existential ...
5