3047 search results - page 103 / 610 » On the Meaning of Logical Completeness |
ACL
1992
14 years 5 days ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
DIAGRAMS
2006
Springer
14 years 2 months ago
2006
Springer
In her book "The Iconic Logic of Peirce's Graphs", S. J. Shin elaborates the diagrammatic logic of Peirce's Existential Graphs. Particularly, she provides trans...
APAL
2010
13 years 11 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
AAAI
2006
14 years 12 days ago
2006
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...
DAGSTUHL
2007
14 years 14 days ago
2007
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...