38
Views
7
CrossRef citations to date
0
Altmetric
Original Articles

Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

&
Pages 1707-1718 | Received 01 Sep 2008, Published online: 18 Nov 2010

Keep up to date with the latest research on this topic with citation updates for this article.

Read on this site (2)

Nicolás Madrid & Manuel Ojeda-Aciego. (2012) On the existence and unicity of stable models in normal residuated logic programs. International Journal of Computer Mathematics 89:3, pages 310-324.
Read now
A. Mora, E. Muñoz-Velasco & J. Golińska-Pilarek. (2011) Implementing a relational theorem prover for modal logic . International Journal of Computer Mathematics 88:9, pages 1869-1884.
Read now

Articles from other publishers (5)

Alfredo Burrieza, Emilio Muñoz-Velasco & Manuel Ojeda-Aciego. 2018. Ewa Orłowska on Relational Methods in Logic and Computer Science. Ewa Orłowska on Relational Methods in Logic and Computer Science 203 231 .
J. Goli ska-Pilarek & E. Munoz-Velasco. (2015) A hybrid qualitative approach for relative movements. Logic Journal of IGPL 23:3, pages 410-420.
Crossref
Joanna Golińska-Pilarek. 2012. Logics in Artificial Intelligence. Logics in Artificial Intelligence 255 266 .
J. Golińska-Pilarek & E. Muñoz-Velasco. 2012. Hybrid Artificial Intelligent Systems. Hybrid Artificial Intelligent Systems 635 646 .
Alfredo Burrieza, Emilio Muñoz-Velasco & Manuel Ojeda-Aciego. 2010. Current Topics in Artificial Intelligence. Current Topics in Artificial Intelligence 71 80 .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.