Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Lógica modal")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 762

  • Page / 31
Export

Selection :

  • and

THE MODAL LOGIC OF FORCINGHAMKINS, Joel David; LOWE, Benedikt.Transactions of the American Mathematical Society. 2008, Vol 360, Num 4, pp 1793-1817, issn 0002-9947, 25 p.Article

Introduction to guarded logicsRÄSCH, Thoralf.Lecture notes in computer science. 2002, pp 321-341, issn 0302-9743, isbn 3-540-00388-6, 21 p.Conference Paper

Une logique modale pour le raisonnement dans l'incertain = A modal logic for reasoning under uncertaintyPereira Gonzalez, Wilmer; Perera Gonzalez, Wilmer; Besnard, Philippe et al.1992, 106 p.Thesis

Relational semantics through dualityORLOWSKA, Ewa; REWITZKY, Ingrid; DÜNTSCH, Ivo et al.Lecture notes in computer science. 2006, pp 17-32, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 16 p.Conference Paper

A modal formulation of McCain and Turner's theory of causal reasoningWHITE, Graham.Lecture notes in computer science. 2002, pp 211-222, issn 0302-9743, isbn 3-540-44190-5, 12 p.Conference Paper

A new method for testing decision procedures in modal logicsGIUNCHIGLIA, F; ROVERI, M; SEBASTIANI, R et al.Lecture notes in computer science. 1997, pp 264-267, issn 0302-9743, isbn 3-540-63104-6Conference Paper

On modal probability and beliefHERZIG, Andreas; LONGIN, Dominique.Lecture notes in computer science. 2003, pp 62-73, issn 0302-9743, isbn 3-540-40494-5, 12 p.Conference Paper

Leśniewsli's strategy and modal logicKEARNS, J. T.Notre Dame journal of formal logic. 1989, Vol 30, Num 2, pp 291-307, issn 0029-4527, 17 p.Article

Some compactness results for modal logicSCHUMM, G. F.Notre Dame journal of formal logic. 1989, Vol 30, Num 2, pp 285-290, issn 0029-4527, 6 p.Article

Ouvrage de dame (introduction méthodologique à l'étude des logiques appliquées ou à la découverte du sens)Jaulin-Mannono, F.1989, 418 p., isbn 2-904430-02-4Book

An SLD-resolution calculus for basic serial multimodal logicsNGUYEN, Linh Anh.Lecture notes in computer science. 2005, pp 151-165, issn 0302-9743, isbn 3-540-29107-5, 1Vol, 15 p.Conference Paper

Epistemic logic in higher order logic : an experiment with COQLescanne, Pierre.2001, 9 p.Report

Control theory, modal logic, and gamesKNIGHT, J. F; LUENSE, B.Lecture notes in computer science. 1997, pp 160-173, issn 0302-9743, isbn 3-540-63358-8Conference Paper

An alternative rule of disjunction in modal logicWILLIAMSON, T.Notre Dame journal of formal logic. 1992, Vol 33, Num 1, pp 89-100, issn 0029-4527Article

A simplified natural deduction approach to certain modal systemsTAPSCOTT, B. L.Notre Dame journal of formal logic. 1987, Vol 28, Num 3, pp 371-384, issn 0029-4527Article

Semantics of nondeterministic possible worldsORLOWSKA, E.Bulletin of the Polish academy of sciences. Mathematics. 1985, Vol 33, Num 9-10, pp 453-458Article

Maximality in modal logicFLAGG, R. C; FRIEDMAN, H.Annals of pure and applied logic. 1987, Vol 34, Num 2, pp 99-118, issn 0168-0072Article

A logic of abstract argumentationBOELLA, Guido; HULSTIJN, Joris; VAN DER TORRE, Leendert et al.Lecture notes in computer science. 2006, pp 29-41, issn 0302-9743, isbn 3-540-36355-6, 1Vol, 13 p.Conference Paper

The topological effect of improving knowledge acquisitionHEINEMANN, Bernhard.Lecture notes in computer science. 2005, pp 21-30, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 10 p.Conference Paper

Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logicTAGAWA, Takahiro; CHENG, Jingde.Lecture notes in computer science. 2002, pp 39-48, issn 0302-9743, isbn 3-540-44038-0, 10 p.Conference Paper

Construction de Modèles pour des Ensembles de Clauses Gardées = Model Building for Sets of Guarded ClausesDierkes, Michael; Caferra, Ricardo.2001, 184 p.Thesis

An outline of a general model for information retrieval systemsJIANYUN NIE.International conference on research and development in information retrieval. 11. 1988, pp 495-506Conference Paper

Modal logics with several operators and provability interpretationsCARLSON, T.Israel Journal of Mathematics. 1986, Vol 54, Num 1, pp 14-24, issn 0021-2172Article

SEQ.OPEN: A tool for efficient trace-based verificationGARAVEL, Hubert; MATEESCU, Radu.Lecture notes in computer science. 2004, pp 151-157, issn 0302-9743, isbn 3-540-21314-7, 7 p.Conference Paper

1-Consistency and the diamondBOOLOS, G.Notre Dame journal of formal logic. 1985, Vol 26, Num 4, pp 341-347, issn 0029-4527Article

  • Page / 31