Skip to search formSkip to main contentSkip to account menu
  • Publications
  • Influence
The Logic of Public Announcements and Common Knowledge and Private Suspicions
TLDR
This paper presents a logical system in which various group-level epistemic actions are incorporated into the object language and contains the infinitary operators used in the standard modeling of common knowledge.
View via Publisher
Logics for Epistemic Programs
TLDR
The construction of logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting by defining a notion of epistemic program, which is a Kripke model of ‘actions’, representing the agents' uncertainty about the current action in a similar way that Kripkel models are commonly used in epistemic logic.
View on Springer
Coalgebraic Logic
  • L. Moss
  • Mathematics
    Ann. Pure Appl. Log.
  • 1999
View via Publisher
Topological Reasoning and the Logic of Knowledge
View via Publisher
Editor's Introduction: Editor's Introduction
View via Publisher
Vicious circles - on the mathematics of non-wellfounded phenomena
TLDR
Part I. Circularity and the notion of set, modeling partial information, and Conclusions and future directions.
View via Publisher
Probing Natural Language Inference Models through Semantic Fragments
TLDR
This work proposes the use of semantic fragments—systematically generated datasets that each target a different semantic phenomenon—for probing, and efficiently improving, such capabilities of linguistic models.
View PDF on arXiv
Parametric corecursion
  • L. Moss
  • Mathematics, Computer Science
    Theor. Comput. Sci.
  • 6 June 2001
View via Publisher
FINITE MODELS CONSTRUCTED FROM CANONICAL FORMULAS
  • L. Moss
  • Mathematics
    J. Philos. Log.
  • 29 June 2007
TLDR
This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from formulas themselves and develops a general model-construction method based on this definition.
View on Springer
Generalized quantifiers and the expres-sive power of natural language
View via Publisher
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License