Add to ORKGWe discuss partial specifications in first-order logic FO and also in a Turing-complete extension of FO. We compare the compositional and game-theoretic approaches to the systems.Comment: arXiv admin note: text overlap with arXiv:1910.1460
ion for PCF Motivated by the full completeness results, it became of compelling interest to re-exam...
Formal game theory allows for an alternative view on logical systems: we can see verification of a ...
M.Sc.The aim of the thesis is to develop game-theoretic techniques for dealing with common problems ...
We study a natural hierarchy in first-order logic, namely the quantifierstructure hierarchy, which g...
The subject called game semantics grew out as a coherent body of work from two seminal works of the ...
In previous work with Pous, we defined a semantics for CCS which may both beviewed as an innocent fo...
Comment about Kadane, J. B., P. D. Larkey. 1983. The confusion of is and ought in game theoretic con...
textabstractGame Logic (GL), introduced in (Parikh, 1985), is examined from a game-theoretic perspec...
We discuss how mathematical semantics has evolved, and suggest some new directions for future work. ...
Strategy Logic (SL, for short) has been introduced by Mogavero, Murano, andVardi as a useful formali...
This article demonstrates that typical restrictions which are imposed in dialogical logic in order t...
This gentle introduction to logic and model theory is based on a systematic use of three important g...
This paper presents a logical system in which various group-level epistemic actions are incorporated...
International audienceA new version of Game-Theoretical Semantics (GTS) is put forward where game ru...
We present a deductive proof of fairness of the multi-party contract-signing protocol of Baum-Waidne...
ion for PCF Motivated by the full completeness results, it became of compelling interest to re-exam...
Formal game theory allows for an alternative view on logical systems: we can see verification of a ...
M.Sc.The aim of the thesis is to develop game-theoretic techniques for dealing with common problems ...
We study a natural hierarchy in first-order logic, namely the quantifierstructure hierarchy, which g...
The subject called game semantics grew out as a coherent body of work from two seminal works of the ...
In previous work with Pous, we defined a semantics for CCS which may both beviewed as an innocent fo...
Comment about Kadane, J. B., P. D. Larkey. 1983. The confusion of is and ought in game theoretic con...
textabstractGame Logic (GL), introduced in (Parikh, 1985), is examined from a game-theoretic perspec...
We discuss how mathematical semantics has evolved, and suggest some new directions for future work. ...
Strategy Logic (SL, for short) has been introduced by Mogavero, Murano, andVardi as a useful formali...
This article demonstrates that typical restrictions which are imposed in dialogical logic in order t...
This gentle introduction to logic and model theory is based on a systematic use of three important g...
This paper presents a logical system in which various group-level epistemic actions are incorporated...
International audienceA new version of Game-Theoretical Semantics (GTS) is put forward where game ru...
We present a deductive proof of fairness of the multi-party contract-signing protocol of Baum-Waidne...
ion for PCF Motivated by the full completeness results, it became of compelling interest to re-exam...
Formal game theory allows for an alternative view on logical systems: we can see verification of a ...
M.Sc.The aim of the thesis is to develop game-theoretic techniques for dealing with common problems ...