78 results on '"Moss, Lawrence S."'
Search Results
2. On Well-Founded and Recursive Coalgebras
3. Long-Term Values in Markov Decision Processes, (Co)Algebraically
4. Syllogistic Logic with 'Most'
5. The Logic of Public Announcements, Common Knowledge, and Private Suspicions
6. Syllogistic Logic with Cardinality Comparisons
7. Three Etudes on Logical Dynamics and the Program of Natural Logic
8. Eigenvalues and Transduction of Morphic Sequences
9. Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra
10. On Finitary Functors and Their Presentations
11. A Complete Logical System for the Equality of Recursive Terms for Sets
12. Well-Pointed Coalgebras (Extended Abstract)
13. Logics for Two Fragments beyond the Syllogistic Boundary
14. Intersecting Adjectives in Syllogistic Logic
15. Natural Logic and Semantics
16. CIA Structures and the Semantics of Recursion
17. Topology and Epistemic Logic
18. Applied Logic: A Manifesto
19. Uniform Functors on Sets
20. The Category Theoretic Solution of Recursive Program Schemes
21. Logics for Epistemic Programs
22. Evolving Algebras and Mathematical Models of Language
23. Completeness Theorems for Logics of Feature Structures
24. Algebraic operational semantics and Occam
25. Generalization of final algebra semantics by relativization
26. Optimal semantics of data type extensions
27. Recursive Program Schemes: Past, Present, and Future
28. Final algebras, cosemicomputable algebras, and degrees of unsolvability
29. APAL with Memory Is Better
30. Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic
31. Lindenbaum and Pair Extension Lemma in Infinitary Logics
32. The Epistemology of Nondeterminism
33. Inhabitants of Intuitionistic Implicational Theorems
34. Deciding Open Definability via Subisomorphisms
35. A Formalization of Brouwer’s Argument for Bar Induction
36. A Semantical View of Proof Systems
37. Symbolic Reasoning Methods in Rewriting Logic and Maude
38. Beliefs Based on Evidence and Argumentation
39. The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents
40. The Undecidability of Orthogonal and Origami Geometries
41. Algebraic Semantics for Nelson’s Logic
42. Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving
43. Formalization of the Undecidability of the Halting Problem for a Functional Language
44. Advanced Kripke Frame for Quantum Logic
45. Unification Modulo Builtins
46. Handling Verb Phrase Anaphora with Dependent Types and Events
47. The Pleasure of Gossip
48. Parikh and Wittgenstein
49. Talking About Knowledge
50. Why Bother with Syntax?
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.