133 citations
- T. Marwala8 · h 43
- C. Keppel2 profiles4 · h 48
- F. Nelwamondo4 · h 21
- P. Bosted2 profiles4 · h 20
- David L. Block3
- D. Dutta2 profiles3 · h 39
- D. Gaskell2 profiles3 · h 39
- H. Mkrtchyan2 profiles3 · h 34
- J. Arrington2 profiles3 · h 47
- J. Dunne2 profiles3 · h 28
- J. Roche2 profiles3 · h 39
- N. Kalantarians2 profiles3 · h 31
- National Institute for Theoretical PhysicsZA4 papers
- A. Alikhanyan National LaboratoryAM3 papers
- Argonne National LaboratoryUS3 papers
- Hampton UniversityUS3 papers
- Mississippi State UniversityUS3 papers
- National Institute of Astrophysics, Optics and ElectronicsMX3 papers
- Stellenbosch UniversityZA3 papers
- Thomas Jefferson National Accelerator FacilityUS3 papers
- University of HoustonUS3 papers
- University of JohannesburgZA3 papers
- University of Maryland, College ParkUS3 papers
- University of VirginiaUS3 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
Valentin Goranko, Dmitry Shkatov
We study the multiagent epistemic logic CMAELCD with operators for common and distributed knowledge for all coalitions of agents. We introduce Hintikka structures for this logic an…
cs.LO2008
Symbolic model checking of tense logics on rational Kripke models
Wilmari Bekker, Valentin Goranko
We introduce the class of rational Kripke models and study symbolic model checking of the basic tense logic Kt and some extensions of it in models from that class. Rational Kripke…