1.1k citations
- Middlesex University DubaiAE3 papers
- Xi'an Polytechnic UniversityCN3 papers
- Middlesex University MaltaMT2 papers
- Reykjavík UniversityIS2 papers
- University of MariborSI2 papers
- UNSW SydneyAU2 papers
- Beijing University of Posts and TelecommunicationsCN1 paper
- China Medical UniversityTW1 paper
- China Medical University HospitalTW1 paper
- Complexity Science HubAT1 paper
- COMSATS University IslamabadPK1 paper
- Friedrich-Alexander-Universität Erlangen-NürnbergDE1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020★ 1 cited
A Game Theoretical Semantics for Logics of Nonsense
Can Başkent
Logics of non-sense allow a third truth value to express propositions that are \emph{nonsense}. These logics are ideal formalisms to understand how errors are handled in programs a…
cs.LO2013★ 5 cited
Reasoning about Strategies under Partial Observability and Fairness Constraints
Simon Busard, Charles Pecheur, Hongyang Qu +1
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unifi…