Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where soggetti phrase all words 'modal logic' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 112 riferimenti
Si mostrano 100 riferimenti a partire da 1
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Andrew J.I. Jones; Xavier Parent
      Normative-informational positions: a modal-logical approach

      Artificial intelligence and law
    2. Thiele, H
      Generalizing the explicit concept of rough set on the basis of modal logic

      COMPUTATIONAL INTELLIGENCE IN THEORY AND PRACTICE
    3. Jacobs, B
      Many-sorted coalgebraic modal logic: A model-theoretic study

      RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS
    4. Janowski, T; Joseph, M
      Dynamic scheduling and fault-tolerance: Specification and verification

      REAL-TIME SYSTEMS
    5. Katsuno, H; Isozaki, H
      Simplified semantic structures for representing belief states in multi-agent environments

      IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    6. Schurmann, C; Despeyroux, J; Pfenning, F
      Primitive recursion for higher-order abstract syntax

      THEORETICAL COMPUTER SCIENCE
    7. Kurz, A
      Specifying coalgebras with modal logic

      THEORETICAL COMPUTER SCIENCE
    8. Rossiger, M
      From modal logic to terminal coalgebras

      THEORETICAL COMPUTER SCIENCE
    9. Augusto, JC
      The logical approach to temporal reasoning

      ARTIFICIAL INTELLIGENCE REVIEW
    10. Stenning, K; Lemon, O
      Aligning logical and psychological perspectives on diagrammatic reasoning

      ARTIFICIAL INTELLIGENCE REVIEW
    11. Atanassov, KT
      Remarks on Ivlin's paper from an intuitionistic fuzzy logic point of view

      INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
    12. Chainbi, W; Ben-Hamadou, A; Jmaiel, M
      A belief-goal-role theory for multiagent systems

      INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE
    13. Celani, SA
      A fragment of intuitionistic Dynamic Logic

      FUNDAMENTA INFORMATICAE
    14. Andreka, H
      A finite axiomatization of locally square cylindric-relativized set algebras

      STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA
    15. Madarasz, JX; Nemeti, I
      Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski

      STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA
    16. Stephanou, Y
      Indexed actuality (Modal operators, logic)

      JOURNAL OF PHILOSOPHICAL LOGIC
    17. Phillips, JF
      Modal logics of succession for 2-dimensional integral spacetime

      JOURNAL OF PHILOSOPHICAL LOGIC
    18. Gregory, D
      Completeness and decidability results for some propositional modal logic containing 'actually' operators

      JOURNAL OF PHILOSOPHICAL LOGIC
    19. Resconi, G; Turksen, IB
      Canonical forms of fuzzy truthoods by meta-theory based upon modal logic

      INFORMATION SCIENCES
    20. Gao, HS
      A strong completeness theorem in intuitionistic quantified modal logic

      SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
    21. Zhao, XS; Ding, DC
      More on bounding introspection in modal nonmonotonic logics

      ACTA MATHEMATICA SINICA-ENGLISH SERIES
    22. Horita, M
      Folding arguments: A method for representing conflicting views of a conflict

      GROUP DECISION AND NEGOTIATION
    23. Bellini, P; Mattolini, R; Nesi, P
      Temporal logics for real-time system specification

      ACM COMPUTING SURVEYS
    24. Resconi, G; Murai, T; Shimbo, M
      Field theory and modal logic by semantic fields to make uncertainty emergefrom information

      INTERNATIONAL JOURNAL OF GENERAL SYSTEMS
    25. Demri, S; Gore, R
      An O((n center dot log n)(3))-time transformation from Grz into decidable fragments of classical first-order logic

      AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS
    26. Liau, CJ
      An overview of rough set semantics for modal and quantifier logics

      INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
    27. Carlson, TJ
      Knowledge, machines, and the consistency of Reinhardt's strong mechanisticthesis

      ANNALS OF PURE AND APPLIED LOGIC
    28. Ghilardi, S
      Best solving modal equations

      ANNALS OF PURE AND APPLIED LOGIC
    29. Font, JM; Rius, M
      An abstract algebraic logic approach to tetravalent modal logics

      JOURNAL OF SYMBOLIC LOGIC
    30. MacLeod, MC; Schotch, PK
      Remarks on the modal logic of Henry Bradford Smith

      JOURNAL OF PHILOSOPHICAL LOGIC
    31. Mares, ED
      CE is not a conservative extension of E

      JOURNAL OF PHILOSOPHICAL LOGIC
    32. Goble, L
      An incomplete relevant modal logic

      JOURNAL OF PHILOSOPHICAL LOGIC
    33. Thiele, H
      On axiomatic characterisations of crisp approximation operators

      INFORMATION SCIENCES
    34. Ricker, SL; Rudie, K
      Know means no: Incorporating knowledge into discrete-event control systems

      IEEE TRANSACTIONS ON AUTOMATIC CONTROL
    35. Ben-David, S; Ben-Eliyahu-Zohary, R
      A modal logic for subjective default reasoning

      ARTIFICIAL INTELLIGENCE
    36. Bradfield, JC
      Fixpoint alternation: Arithmetic, transition systems, and the binary tree

      RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS
    37. Davoren, JM
      Topologies, continuity and bisimulations

      RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS
    38. Pohl, W
      Logic-based representation and reasoning for user modeling shell systems

      USER MODELING AND USER-ADAPTED INTERACTION
    39. Tsiporkova, E; Boeva, V; De Baets, B
      Dempster-Shafer theory framed in modal logic

      INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
    40. Cervesato, I; Montanari, A
      A general modal framework for the Event Calculus and its skeptical and credulous variants

      JOURNAL OF LOGIC PROGRAMMING
    41. Heinemann, B
      Temporal aspects of the modal logic of subset spaces

      THEORETICAL COMPUTER SCIENCE
    42. Otto, M
      Bisimulation-invariant PTIME and higher-dimensional mu-calculus

      THEORETICAL COMPUTER SCIENCE
    43. Tay, FEH
      Contingency management in flexible manufacturing systems using modal statelogic

      JOURNAL OF MANUFACTURING SYSTEMS
    44. Tsiporkova, E; Boeva, V; De Baets, B
      Evidence measures induced by Kripke's accessibility relations

      INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
    45. Fitting, M
      A simple propositional S5 tableau system

      ANNALS OF PURE AND APPLIED LOGIC
    46. Moss, LS
      Coalgebraic logic

      ANNALS OF PURE AND APPLIED LOGIC
    47. Colombetti, M
      A modal logic of intentional communication

      MATHEMATICAL SOCIAL SCIENCES
    48. Buckley, JJ; Siler, W
      L-infinity fuzzy logic

      FUZZY SETS AND SYSTEMS
    49. Tsiporkova, E; De Baets, B; Boeva, V
      Dempster's rule of conditioning translated into modal logic

      FUZZY SETS AND SYSTEMS
    50. Morikawa, O
      An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation

      FUZZY SETS AND SYSTEMS
    51. Gregory, FH; Lau, SP
      Logical soft systems modelling for information source analysis - The case of Hongkong Telecom

      JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY
    52. Resconi, G; Klir, GJ; Pessa, E
      Conceptual foundations of quantum mechanics: The role of evidence theory, quantum sets, and modal logic

      INTERNATIONAL JOURNAL OF MODERN PHYSICS C
    53. Wansing, H
      Displaying the modal logic of consistency

      JOURNAL OF SYMBOLIC LOGIC
    54. Kracht, M; Wolter, F
      Normal monomodal logics can simulate all others

      JOURNAL OF SYMBOLIC LOGIC
    55. Oakes, C
      Interpretations of intuitionist logic in non-normal modal logics

      JOURNAL OF PHILOSOPHICAL LOGIC
    56. Heifetz, A
      Iterative and fixed point common belief

      JOURNAL OF PHILOSOPHICAL LOGIC
    57. Ohlbach, HJ; Koehler, J
      Modal logics, description logics and arithmetic reasoning

      ARTIFICIAL INTELLIGENCE
    58. Godo, L; Rodriguez, RO
      A fuzzy modal logic for similarity reasoning

      FUZZY LOGIC AND SOFT COMPUTING
    59. Blackburn, P; Tzakova, M
      Hybridizing concept languages

      ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
    60. VANDERMEYDEN R
      COMMON KNOWLEDGE AND UPDATE IN FINITE ENVIRONMENTS

      Information and computation
    61. FENSEL D; GROENBOOM R; DELAVALETTE GRR
      MODAL CHANGE LOGIC (MCL) - SPECIFYING THE REASONING OF KNOWLEDGE-BASED SYSTEMS

      Data & knowledge engineering
    62. Venema, Y
      Rectangular games

      JOURNAL OF SYMBOLIC LOGIC
    63. DaCosta, NCA; Bueno, O; French, S
      The logic of pragmatic truth

      JOURNAL OF PHILOSOPHICAL LOGIC
    64. YAO YY
      CONSTRUCTIVE AND ALGEBRAIC METHODS OF THE THEORY OF ROUGH SETS

      Information sciences
    65. YAO YY
      A COMPARATIVE-STUDY OF FUZZY-SETS AND ROUGH SETS

      Information sciences
    66. YAO YY; LINGRAS PJ
      INTERPRETATIONS OF BELIEF FUNCTIONS IN THE THEORY OF ROUGH SETS

      Information sciences
    67. MURATA M; NAKATSUYAMA H
      A THEORETICAL FOUNDATION OF THE DSSSL LOCATION MODEL

      Mathematical and computer modelling
    68. NISSAN E; SHIMONY SE
      VEGEDOG - FORMALISM, VEGETARIAN DOGS, AND PARTONOMIES IN TRANSITION

      Computers and artificial intelligence
    69. VANLINDER B; VANDERHOEK W; MEYER JJC
      THE DYNAMICS OF DEFAULT REASONING

      Data & knowledge engineering
    70. ANDREKA H
      COMPLEXITY OF EQUATIONS VALID IN ALGEBRAS OF RELATIONS PART I - STRONG NON-FINITIZABILITY

      Annals of pure and applied Logic
    71. ANDREKA H
      COMPLEXITY OF EQUATIONS VALID IN ALGEBRAS OF RELATIONS PART II - FINITE AXIOMATIZATIONS

      Annals of pure and applied Logic
    72. WOLTER F
      THE STRUCTURE OF LATTICES OF SUBFRAME LOGICS

      Annals of pure and applied Logic
    73. BRUNS G
      AN INDUSTRIAL APPLICATION OF MODAL PROCESS LOGIC

      Science of computer programming
    74. KLIR GJ; WANG ZY; HARMANEC D
      CONSTRUCTING FUZZY MEASURES IN EXPERT-SYSTEMS

      Fuzzy sets and systems
    75. AARON E; GRIES D
      FORMAL JUSTIFICATION OF UNDERSPECIFICATION FOR S5

      Information processing letters
    76. LIN ZQ
      A MODAL NONMONOTONIC LOGIC

      SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
    77. YAO YY
      2 VIEWS OF THE THEORY OF ROUGH SETS IN FINITE UNIVERSES

      International journal of approximate reasoning
    78. NAKAMURA A
      A ROUGH LOGIC-BASED ON INCOMPLETE INFORMATION AND ITS APPLICATION

      International journal of approximate reasoning
    79. LIN TY
      A ROUGH LOGIC FORMALISM FOR FUZZY CONTROLLERS - A HARD AND SOFT COMPUTING VIEW

      International journal of approximate reasoning
    80. HARMANEC D; KLIR GJ; WANG ZY
      MODAL LOGIC INTERPRETATION OF DEMPSTER-SHAFER THEORY - AN INFINITE CASE

      International journal of approximate reasoning
    81. LEASURE DE
      TEMPORAL REASONING WITH THE MODAL LOGIC-Z

      Computational intelligence
    82. NIE JY; BRISEBOIS M
      AN INFERENTIAL APPROACH TO INFORMATION-RETRIEVAL AND ITS IMPLEMENTATION USING A MANUAL THESAURUS

      Artificial intelligence review
    83. RESCONI G; KLIR GJ; HARMANEC D; STCLAIR U
      INTERPRETATIONS OF VARIOUS UNCERTAINTY THEORIES USING MODELS OF MODALLOGIC - A SUMMARY

      Fuzzy sets and systems
    84. TOMBERLIN JE
      ACTUALISM OR POSSIBILISM

      Philosophical studies
    85. DAS SK
      MODAL-LOGICS IN THE THEORY OF RELATIONAL DATABASES

      Information processing letters
    86. LIAU CJ; LIN BIP
      POSSIBILISTIC REASONING - A MINI-SURVEY AND UNIFORM SEMANTICS

      Artificial intelligence
    87. OLIVIER G; IBRAHIM S; PATRICK M
      DISTRIBUTED DESIGN THEORY AND METHODOLOGY

      Concurrent engineering, research and applications
    88. LIN ZQ; LI W
      PARAMETRIC LOGIC - FOUNDATIONS

      Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences
    89. HIRAISHI H
      TOWARDS VERIFICATION OF BIT-SLICE CIRCUITS - TIME-SPACE MODAL MODEL CHECKING APPROACH

      IEICE transactions on information and systems
    90. HAJEK P; HARMANCOVA D; VERBRUGGE R
      A QUALITATIVE FUZZY POSSIBILISTIC LOGIC

      International journal of approximate reasoning
    91. DELGRANDE JP
      A FRAMEWORK FOR LOGICS OF EXPLICIT BELIEF

      Computational intelligence
    92. LUCENA CJP; ALENCAR PSC
      A FORMAL DESCRIPTION OF EVOLVING SOFTWARE SYSTEMS ARCHITECTURES

      Science of computer programming
    93. LISMONT L; MONGIN P
      BELIEF CLOSURE - A SEMANTICS OF COMMON KNOWLEDGE FOR MODAL PROPOSITIONAL LOGIC

      Mathematical social sciences
    94. LIAU CJ; LIN BIP
      A THEORETICAL INVESTIGATION INTO QUANTITATIVE MODAL LOGIC

      Fuzzy sets and systems
    95. GREGORY FH
      SOFT SYSTEMS MODELS FOR KNOWLEDGE ELICITATION AND REPRESENTATION

      The Journal of the Operational Research Society
    96. GOTTLOB G
      TRANSLATING DEFAULT LOGIC INTO STANDARD AUTOEPISTEMIC LOGIC

      Journal of the Association for Computing Machinery
    97. GOTTLOB G
      NP TREES AND CARNAPS MODAL LOGIC

      Journal of the Association for Computing Machinery
    98. BRADLEY IM
      THE FORMAN SPECIFICATION OF CONCURRENT SYSTEMS - A SMALL CCS CASE-STUDY

      Information and software technology
    99. KRISHNAN P
      FORMAL METHODS AND DESIGN EXTRACTION - A PILOT-STUDY

      Information and software technology
    100. BOUTILIER C
      MODAL-LOGICS FOR QUALITATIVE POSSIBILITY THEORY

      International journal of approximate reasoning


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 12/08/20 alle ore 01:03:56