Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 03B45 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1998-2009 (11)
Publication types (Num. hits)
article(9) inproceedings(2)
Venues (Conferences, Journals, ...)
Arch. Math. Log.(5) Ann. Math. Artif. Intell.(3) COCOA(1) Order(1) PRICAI(1)
Authors
Takashi Matsuhisa(2) Albert Visser(1) Antonio Morales Nicolás(1) Emil Jerábek(1) Frank Wolter(1) Giovanna D'Agostino(1) Grigori Mints(1) Guido Sciavicco(1) Isabel Navarrete(1) Melvin Fitting(1) Michael Kaminski(1) Sergio A. Celani(1) Toru Tsujishita(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 9 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
30Takashi Matsuhisa Communication Leading to Nash Equilibrium Through Robust Messages - S5 -Knowledge Model Case -. Search on Bibsonomy COCOA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Robust message, Non-corporative game, S5-knowledge model, Communication, Protocol, Nash equilibrium, Conjecture
30Giovanna D'Agostino, Albert Visser Finality regained: A coalgebraic study of Scott-sets and multisets. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Sergio A. Celani Topological Duality for Boolean Algebras with a Normal n-ary Monotonic Operator. Search on Bibsonomy Order The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B45, 06E25
26Michael Kaminski A non-preferential semantics of non-monotonic modal logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B42, 03B45, 68T30, 68T27
26Melvin Fitting Justification logics, logics of knowledge, and conservativity. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B42, 03B45, 03B60, 03B70
26Takashi Matsuhisa Fuzzy Communication Reaching Consensus under Acyclic Condition. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMS 2000 Mathematics Subject Classification Primary 91B50, 91B60, Secondary 03B45
26Antonio Morales Nicolás, Isabel Navarrete, Guido Sciavicco A new modal logic for reasoning about space: spatial propositional neighborhood logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03B45
26Emil Jerábek Complexity of admissible rules. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03B45, 03D15, 03B55
26Toru Tsujishita Construction of universal modal worlds based on hyperset theory. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991): 03B45, 68T27
26Frank Wolter All finitely axiomatizable subframe logics containing the provability logic CSM 0_{0} are decidable. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991): 03B45, 03B25
26Grigori Mints Normal deduction in the intuitionistic linear logic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991):F05, 03B45
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license