1814 search results - page 166 / 363 » Extended First-Order Logic |
130
Voted
CADE
2009
Springer
15 years 10 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
112
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
123
Voted
EPIA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
131
Voted
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
134
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...