How not to combine modal logics (2005)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; FAJARDO, ROGERIO AUGUSTO DOS SANTOS - IME
- Unidade: IME
- Subjects: LÓGICA MODAL; INTELIGÊNCIA ARTIFICIAL
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: IICAI
- Publisher place: Tallahassee
- Date published: 2005
- Source:
- Título: Proceedings
- Conference titles: Indian International Conference on Artificial Intelligence - IICAI
-
ABNT
FAJARDO, Rogério Augusto dos Santos e FINGER, Marcelo. How not to combine modal logics. 2005, Anais.. Tallahassee: IICAI, 2005. . Acesso em: 04 ago. 2025. -
APA
Fajardo, R. A. dos S., & Finger, M. (2005). How not to combine modal logics. In Proceedings. Tallahassee: IICAI. -
NLM
Fajardo RA dos S, Finger M. How not to combine modal logics. Proceedings. 2005 ;[citado 2025 ago. 04 ] -
Vancouver
Fajardo RA dos S, Finger M. How not to combine modal logics. Proceedings. 2005 ;[citado 2025 ago. 04 ] - Construções consistentes de espaços de Banach C(K) com poucos operadores
- Quotients of indecomposable Banach spaces of continuous functions
- An indecomposable Banach space of continuous functions which has small density
- A teoria dos conjuntos e os fundamentos da matemática
- Book of abstracts do XXI Brazilian Logic Conference - EBL 2025
- Nonstandard formulae and model-theoretic paradoxes
- Lógica matemática
- Combinações de Lógicas Modais Não-normais
- Structurally-free theorem proving and the learning of structural permissions in categorial grammar
- Towards structurally-free theorem proving
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas