Search Results for author:
Found 2 papers, 0 papers with code
Bundled fragments of first-order modal logic: (un)decidability
Quantified modal logic provides a natural logical language for reasoning about modal attitudes even while retaining the richness of quantification for referring to predicates over domains.
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge
The 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK) took place in Carnegie Mellon University, Pittsburgh, USA from June 4 to 6, 2015.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
