3047 search results - page 50 / 610 » On the Meaning of Logical Completeness |
AIML
2008
13 years 11 months ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
ECIS
2000
13 years 11 months ago
2000
The Internet as a medium for communication and information distribution has opened up new opportunities for distance education programs. Not only is the scope of a program, in ter...
TABLEAUX
2007
Springer
14 years 3 months ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
AIML
2008
13 years 11 months ago
2008
Arbitrary public announcement logic (APAL) is an extension of multi-agent epistemic logic that allows agents' knowledge states to be updated by the public announcement of (pos...
APAL
2010
13 years 10 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...