| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
The eighth International ņonference "Advances in Modal Logic" (AiML 2010)
|
|||
|
|
|||
|
Ceteris paribus logic Patrick Girard, Jeremy Seligman |
|||
|
Abstract: In this paper, we develop a parametric language for ceteris paribus reasoning (everything else being equal) that is free from the assumptions of finiteness and exactitude and use it to provide an axiomatisation for an equivalent infinitary fragment of ceteris paribus logic as formulated with language models in van Benthem, Girard and Roy (2009). Language: English |
|||